BODENTIEN, N. O.; VESTERGAARD, J.; FRIIS, J.; KRISTOFFERSEN, K. J.; PETERSEN, K. 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: 23 apr. 2024.