Robust Analysis of Timed Automata via Channel Machines.

Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier

Browse the full FOSSACS paper archive.