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 2023, 25, e-20713144.