On the Relationship between Reachability Problems in Timed and Counter Automata

Publication
Reachability Problems, RP