Betancourt, Joan, Jesús Aranda, and James Ortiz, trans. 2023. “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 (Suplemento): e-20713144. https://doi.org/10.25100/iyc.v25iSuplemento.13144.