Aplicando paralelismo a un algoritmo de bisimulación para mejorar la eficiencia de pruebas de software de sistemas de tiempo crítico (J. Betancourt, J. Aranda, & J. Ortiz, Trans.). (2023). Ingeniería Y Competitividad, 25(Suplemento), e-20713144. https://doi.org/10.25100/iyc.v25iSuplemento.13144