Betancourt, J. et al. 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 (Sep. 2023), e-20713144. DOI:https://doi.org/10.25100/iyc.v25iSuplemento.13144.