Bodentien, Nicky O., Jacob Vestergaard, Jacob Friis, Kåre J. Kristoffersen, and Kim G. Petersen. “Verification of State Event Systems by Quotienting”. BRICS Report Series 6, no. 41 (December 11, 1999). Accessed December 24, 2025. https://tidsskrift.dk/brics/article/view/20111.