Publikationen

@INPROCEEDINGS{Ghezzi2012,
  author = {Carlo Ghezzi and Joel Greenyer and Valerio Panzica La Manna},
  title = {{S}ynthesizing {D}ynamically {U}pdating {C}ontrollers from {C}hanges
	in {S}cenario-based {S}pecifications},
  booktitle = {Proceeding of the 7th International Symposium on Software Engineering
	for Adaptive and Self-Managing Systems (SEAMS 2012)},
  year = {2012},
  pages = {145-154},
  doi = {10.1109/SEAMS.2012.6224401},
  issn = {2157-2305},
  url = {http://jgreen.de/wp-content/documents/2012/SynthesizingDynamicallyUpdatingControllers.pdf}
}