Skip to main content

Relating Reachability Problems in Timed and Counter Automata

Christoph Haase‚ Joël Ouaknine and James Worrell

Journal
Fundam. Inform.
Number
3−4
Pages
317–338
Volume
143
Year
2016