Publikationen

@INPROCEEDINGS{Cordy2015,
  author = {Cordy, Maxime and Davril, Jean-Marc and Greenyer, Joel and Gressi,
	Erika and Heymans, Patrick},
  title = {All-at-once-synthesis of Controllers from Scenario-based Product
	Line Specifications},
  booktitle = {Proceedings of the 19th International Conference on Software Product
	Line},
  year = {2015},
  series = {SPLC '15},
  pages = {26-35},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {2791111},
  doi = {10.1145/2791060.2791111},
  isbn = {978-1-4503-3613-0},
  location = {Nashville, Tennessee},
  numpages = {10},
  url = {http://jgreen.de/wp-content/documents/2015/SPLC2015-All-at-once-synthesis.pdf}
}