Publikationen

@INCOLLECTION{Brenner2015,
  author = {Christian Brenner and Joel Greenyer and Wilhelm Sch{\"a}fer},
  title = {On-the-fly Synthesis of Scarcely Synchronizing Distributed Controllers
	from Scenario-Based Specifications},
  booktitle = {Fundamental Approaches to Software Engineering (FASE 2015)},
  publisher = {Springer Berlin Heidelberg},
  year = {2015},
  editor = {Egyed, Alexander and Schaefer, Ina},
  volume = {9033},
  series = {Lecture Notes in Computer Science},
  pages = {51-65},
  doi = {10.1007/978-3-662-46675-9_4},
  isbn = {978-3-662-46674-2},
  language = {English},
  url = {http://jgreen.de/wp-content/documents/2015/Brenner-On-the-fly-Synthesis-of-Scarcely-Synchronizing-Distributed-Controllers-from-Scenario-Based-Specifications-FASE2015.pdf}
}