Aplicando paralelismo a un algoritmo de bisimulación para mejorar la eficiencia de pruebas de software de sistemas de tiempo crítico. inycomp. 2023;25(Suplemento):e-20713144. doi:10.25100/iyc.v25iSuplemento.13144