Bodentien NO, Vestergaard J, Friis J, Kristoffersen KJ, Petersen KG. Verification of State/Event Systems by Quotienting. BRICS [Internet]. 11. december 1999 [henvist 14. oktober 2026];6(41). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/20111