Betancourt, J., Aranda, J. and Ortiz, J. (2023) “Applying parallelism to a bisimulation algorithm to improve efficiency in software testing of time-critical systems”, Ingeniería y Competitividad, 25(Suplemento), p. e–20713144. doi: 10.25100/iyc.v25iSuplemento.13144.