BODENTIEN, Nicky O.; VESTERGAARD, Jacob; FRIIS, Jacob; KRISTOFFERSEN, Kåre J.; PETERSEN, Kim G. Verification of State/Event Systems by Quotienting. BRICS Report Series, [S. l.], v. 6, n. 41, 1999. DOI: 10.7146/brics.v6i41.20111. Disponível em: https://tidsskrift.dk/brics/article/view/20111. Acesso em: 5 dec. 2025.