Communicating Timed Automata: The More Synchronous, the More Difficult to Verify.

Pavel Krcl, Wang Yi

Browse the full CAV paper archive.