Model Checking via Reachability Testing for Timed Automata.

Luca Aceto, Augusto Burgueo, Kim Guldstrand Larsen

Browse the full TACAS paper archive.