On the Relationship between Reachability Problems in Timed and Counter Automata

Christoph Haase, Joël Ouaknine, James Worrell
January 2012
PDF DOI
Type
Conference paper
Publication
Reachability Problems, RP