Static Guard Analysis in Timed Automata Verification.

Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen

Browse the full TACAS paper archive.