Betancourt, Joan, Jesús Aranda, and James Ortiz, trans. “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 25, no. Suplemento (September 8, 2023): e-20713144. Accessed January 9, 2026. https://revistaingenieria.univalle.edu.co/index.php/ingenieria_y_competitividad/article/view/13144.