Synthesis of Fault-Tolerant Distributed Systems.

Rayna Dimitrova, Bernd Finkbeiner

Browse the full ATVA paper archive.