Joel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, Erika Gressi. Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications. In Uwe Aßmann, Birgit Demuth, Thorsten Spitta, Georg Püschel, Ronny Kaiser, editors, Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März - 20. März 2015, Dresden, Germany. Volume 239 of LNI, pages 91-92, GI, 2015.
@inproceedings{GreenyerBCHG15,
title = {Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications},
author = {Joel Greenyer and Christian Brenner and Maxime Cordy and Patrick Heymans and Erika Gressi},
year = {2015},
researchr = {https://researchr.org/publication/GreenyerBCHG15},
cites = {0},
citedby = {0},
pages = {91-92},
booktitle = {Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März - 20. März 2015, Dresden, Germany},
editor = {Uwe Aßmann and Birgit Demuth and Thorsten Spitta and Georg Püschel and Ronny Kaiser},
volume = {239},
series = {LNI},
publisher = {GI},
isbn = {978-3-88579-633-6},
}