Computing Reachability Relations in Timed Automata.

Catalin Dima

Browse the full LICS paper archive.