Betancourt, J., Ortiz, J., & 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), e–20713144. https://doi.org/10.25100/iyc.v25iSuplemento.13144