Aceto L, Ingólfsdóttir A, Pedersen ML, Poulsen J. Characteristic Formulae for Timed Automata. BRICS [Internet]. 2000 Jan. 23 [cited 2024 Nov. 23];7(23). Available from: https://tidsskrift.dk/brics/article/view/20150