Automatic Compositional Synthesis of Distributed Systems

Damm, Werner and Finkbeiner, Bernd
(2014) Automatic Compositional Synthesis of Distributed Systems.
In: Proceedings of the 19th International Symposium on Formal Methods (FM'14).
Conference: None | Not Set

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item