Betancourt, J., Ortiz, J. y Aranda, J. 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 (nov. 2023), e–20713144. DOI:https://doi.org/10.25100/iyc.v25iSuplemento.13144.