Publikationen

@INPROCEEDINGS{Greenyer2013,
  author = {Joel Greenyer and Christian Brenner and Maxime Cordy and Patrick
	Heymans and Erika Gressi},
  title = {{I}ncrementally {S}ynthesizing {C}ontrollers from {S}cenario-{B}ased
	{P}roduct {L}ine {S}pecifications},
  booktitle = {Proceedings of the 2013 9th Joint Meeting on Foundations of Software
	Engineering},
  year = {2013},
  series = {ESEC/FSE 2013},
  pages = {433--443},
  address = {New York, NY, USA},
  publisher = {ACM},
  numpages = {11},
  url = {http://jgreen.de/wp-content/documents/2013/greenyer-et-al-Incrementally-Synthesizing-Controllers-from-Scenario-Based-Product-Line-Specifications-ESEC-FSE-2013-camera-ready.pdf}
}