Aceto L, Ingólfsdóttir A, Pedersen ML, Poulsen J. Characteristic Formulae for Timed Automata. BRICS [Internet]. 23. januar 2000 [henvist 6. december 2025];7(23). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/20150