BETANCOURT, J.; ARANDA, J.; ORTIZ, J. Aplicando paralelismo a un algoritmo de bisimulación para mejorar la eficiencia de pruebas de software de sistemas de tiempo crítico. Ingeniería y Competitividad, [S. l.], v. 25, n. Suplemento, p. e–20713144, 2023. DOI: 10.25100/iyc.v25iSuplemento.13144. Disponível em: https://revistaingenieria.univalle.edu.co/index.php/ingenieria_y_competitividad/article/view/13144. Acesso em: 4 abr. 2025.