Publikationen
@INCOLLECTION{Brenner2015,
author = {Christian Brenner and Joel Greenyer and Wilhelm Sch{ä}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}
}