Laroussinie F, Larsen KG, Weise C. From Timed Automata to Logic - and Back. BRICS [Internet]. 1995 Jan. 2 [cited 2024 Apr. 25];2(2). Available from: https://tidsskrift.dk/brics/article/view/19504