Efficient consistency checking of scenario-based product-line specifications.

Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans

Browse the full RE paper archive.