Bodentien NO, Vestergaard J, Friis J, Kristoffersen KJ, Petersen KG. Verification of State/Event Systems by Quotienting. BRICS [Internet]. 1999 Dec. 11 [cited 2025 Apr. 17];6(41). Available from: https://tidsskrift.dk/brics/article/view/20111