Relating Reachability Problems in Timed and Counter Automata

Publication
Fundam. Inform.