Christoph Haase, Joël Ouaknine, James Worrell. Relating Reachability Problems in Timed and Counter Automata. Fundamenta Informaticae, 143(3-4):317-338, 2016. [doi]
@article{HaaseOW16,
title = {Relating Reachability Problems in Timed and Counter Automata},
author = {Christoph Haase and Joël Ouaknine and James Worrell},
year = {2016},
doi = {10.3233/FI-2016-1316},
url = {http://dx.doi.org/10.3233/FI-2016-1316},
researchr = {https://researchr.org/publication/HaaseOW16},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {143},
number = {3-4},
pages = {317-338},
}