Relating Reachability Problems in Timed and Counter Automata

Christoph Haase, Joël Ouaknine, James Worrell
January 2016
PDF DOI
Type
Journal article
Publication
Fundam. Inform.