Publikationen

@INPROCEEDINGS{Gritzner2018,
  author = {Daniel Gritzner and Joel Greenyer},
  title = {{S}ynthesis of {C}ost-optimized {C}ontrollers from {S}cenario-based
	{GR(1)} {S}pecifications},
  booktitle = {Modellierung 2018},
  year = {2018},
  editor = {Ina Schaefer, Dimitris Karagiannis, Andreas Vogelsang, Daniel Méndez,
	Christoph Seidl},
  pages = {167-182},
  address = {Bonn},
  publisher = {Gesellschaft für Informatik e.V.}
}