Compositional Synthesis of Modular Systems.

Bernd Finkbeiner, Noemi Passing

Browse the full ATVA paper archive.