Arnaldo V. Moura, Guilherme A. Pinto. Classes of Timed Automata and the Undecidability of Universality. Fundamenta Informaticae, 82(1-2):171-184, 2008. [doi]
@article{MouraP08,
title = {Classes of Timed Automata and the Undecidability of Universality},
author = {Arnaldo V. Moura and Guilherme A. Pinto},
year = {2008},
url = {http://iospress.metapress.com/content/850541r08877t822/},
researchr = {https://researchr.org/publication/MouraP08},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {82},
number = {1-2},
pages = {171-184},
}