Betancourt, Joan, et al., translators. “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, no. Suplemento, Sept. 2023, p. e-20713144, https://doi.org/10.25100/iyc.v25iSuplemento.13144.