Relating Reachability Problems in Timed and Counter Automata

Christoph Haase, Joël Ouaknine, James Worrell. Relating Reachability Problems in Timed and Counter Automata. Fundamenta Informaticae, 143(3-4):317-338, 2016. [doi]

Abstract

Abstract is missing.