J. Betancourt, J. Aranda, and J. Ortiz, Trans., “Aplicando paralelismo a un algoritmo de bisimulación para mejorar la eficiencia de pruebas de software de sistemas de tiempo crítico”, inycomp, vol. 25, no. Suplemento, p. e-20713144, Sep. 2023, doi: 10.25100/iyc.v25iSuplemento.13144.