RODONAIA, I.; RODONAIA, V. Statistic complexity metrics as a basis for formal probabilistic model checking. Journal of Technical Science and Technologies, [S. l.], v. 4, n. 1, p. 41–47, 2015. DOI: 10.31578/jtst.v4i1.74. Disponível em: https://jtst.ibsu.edu.ge/jms/index.php/jtst/article/view/74. Acesso em: 23 feb. 2025.