Aceto L. A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours (Revised Version). BRICS [Internet]. 14. december 1994 [henvist 7. december 2025];1(43). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/21599