Revisiting reachability in timed automata.

Karin Quaas, Mahsa Shirmohammadi, James Worrell

Browse the full LICS paper archive.