Automatic Compositional Synthesis of Distributed Systems.

Werner Damm, Bernd Finkbeiner

Browse the full FM paper archive.