Publikationen

@INPROCEEDINGS{Greenyer2013a,
  author = {Joel Greenyer and Ekkart Kindler},
  title = {{C}ompositional {S}ynthesis of {C}ontrollers from {S}cenario-{B}ased
	{A}ssume-{G}uarantee {S}pecifications},
  booktitle = {Proceedings of the ACM/IEEE 16th International Conference on Model
	Driven Engineering Languages and Systems (MODELS 2013)},
  year = {2013},
  url = {http://jgreen.de/wp-content/documents/2013/compositionalSynthesisMSDs-MODELS2013.pdf}
}