1.
Aceto L, Bouyer P, Burgueno A, Larsen K. The Power of Reachability Testing for Timed Automata. BRICS [Internet]. 1998Jun.18 [cited 2020Dec.4];5(48). Available from: https://tidsskrift.dk/brics/article/view/19493