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