Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Relating Reachability Problems in Timed and Counter Automata

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

Links

See Also

Back to Top