@inproceedings{FASE-2015-BrennerGS,
author = "Christian Brenner and Joel Greenyer and Wilhelm Schäfer",
booktitle = "{Proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering}",
doi = "10.1007/978-3-662-46675-9_4",
isbn = "978-3-662-46674-2",
pages = "51--65",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications}",
volume = 9033,
year = 2015,
}
Tags: