BUCHHOLZ, P.; KRIEGE, J.; SCHEFTELOWITSCH, D. Equivalence and Minimization for Model Checking Labeled Markov Chains. EAI Endorsed Transactions on Scalable Information Systems, [S. l.], v. 3, n. 11, p. e2, 2016. DOI: 10.4108/eai.14-12-2015.2262622. Disponível em: https://publications.eai.eu/index.php/sis/article/view/2250. Acesso em: 22 jul. 2024.