Betancourt, J., J. Ortiz, y J. Aranda. «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, vol. 25, n.º Suplemento, noviembre de 2023, p. e-20713144, doi:10.25100/iyc.v25iSuplemento.13144.