Efficient consistency checking of scenario-based product-line specifications

Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans. Efficient consistency checking of scenario-based product-line specifications. In Mats Per Erik Heimdahl, Pete Sawyer, editors, 2012 20th IEEE International Requirements Engineering Conference (RE), Chicago, IL, USA, September 24-28, 2012. pages 161-170, IEEE, 2012. [doi]

@inproceedings{GreenyerSCH12,
  title = {Efficient consistency checking of scenario-based product-line specifications},
  author = {Joel Greenyer and Amir Molzam Sharifloo and Maxime Cordy and Patrick Heymans},
  year = {2012},
  doi = {10.1109/RE.2012.6345800},
  url = {http://dx.doi.org/10.1109/RE.2012.6345800},
  researchr = {https://researchr.org/publication/GreenyerSCH12},
  cites = {0},
  citedby = {0},
  pages = {161-170},
  booktitle = {2012 20th IEEE International Requirements Engineering Conference (RE), Chicago, IL, USA, September 24-28, 2012},
  editor = {Mats Per Erik Heimdahl and Pete Sawyer},
  publisher = {IEEE},
  isbn = {978-1-4673-2783-1},
}