Betancourt J, Ortiz J, Aranda J. Aplicando paralelismo a un algoritmo de bisimulación para mejorar la eficiencia de pruebas de software de sistemas de tiempo crítico. inycomp [Internet]. 29 de noviembre de 2023 [citado 11 de mayo de 2024];25(Suplemento):e-20713144. Disponible en: https://revistaingenieria.univalle.edu.co/index.php/ingenieria_y_competitividad/article/view/13144