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 March 29, 2024. https://tidsskrift.dk/brics/article/view/20111.