On the Relationship between Reachability Problems in Timed and Counter Automata
Christoph Haase‚ Joël Ouaknine and James Worrell
Book Title
Reachability Problems‚ RP
Pages
54–65
Publisher
Springer
Series
Lect. Notes Comp. Sci.
Volume
7550
Year
2012
Christoph Haase‚ Joël Ouaknine and James Worrell