Lower and Upper Bounds in Zone Based Abstractions of Timed Automata.

Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelnek

Browse the full TACAS paper archive.