Semi-automatic Distributed Synthesis.

Bernd Finkbeiner, Sven Schewe

Browse the full ATVA paper archive.