@inproceedings{greenyer:hal-00718476, TITLE = {{Efficient Consistency Checking of Scenario-Based Product Line Specifications}}, AUTHOR = {Greenyer, Joel and Sharifloo, Amir and Cordy, Maxime and Heymans, Patrick}, URL = {https://inria.hal.science/hal-00718476}, BOOKTITLE = {{RE 2012 - 20th IEEE International Requirements Engineering Conference}}, ADDRESS = {Chicago, United States}, YEAR = {2012}, MONTH = Sep, DOI = {10.1109/RE.2012.6345800}, HAL_ID = {hal-00718476}, HAL_VERSION = {v1}, }