Betancourt, J., Aranda, J. and Ortiz, J. (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), p. e-20713144. doi:10.25100/iyc.v25iSuplemento.13144.