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), p. e–20713144. doi: 10.25100/iyc.v25iSuplemento.13144.