Maxime Cordy, Jean-Marc Davril, Joel Greenyer, Erika Gressi, Patrick Heymans
All-at-once-synthesis of controllers from scenario-based product line specifications
SPLC, 2015.
@inproceedings{SPLC-2015-CordyDGGH, author = "Maxime Cordy and Jean-Marc Davril and Joel Greenyer and Erika Gressi and Patrick Heymans", booktitle = "{Proceedings of the 19th International Software Product Line Conference}", doi = "10.1145/2791060.2791111", isbn = "978-1-4503-3613-0", pages = "26--35", publisher = "{ACM}", title = "{All-at-once-synthesis of controllers from scenario-based product line specifications}", year = 2015, }