PITO, L. C.; GAVIRIA, R. J.; MAGE, P. A.; HURTADO, J. A. Pruebas Dirigidas por Modelos para Sistemas Distribuidos: Estudio de caso Curso de Sistemas Distribuidos Universidad del Cauca. Revista Colombiana de Computación, [S. l.], v. 13, n. 2, p. 94–123, 2012. Disponível em: https://revistas.unab.edu.co/index.php/rcc/article/view/2127. Acesso em: 18 may. 2024.