Automatic Compositional Synthesis of Distributed Systems

BIB
Damm, Werner and Finkbeiner, Bernd
FM 2014: Formal Methods
2014
incollection
Springer International Publishing
Lecture Notes in Computer Science
179-193