Betancourt, Joan, Jesús Aranda, and James Ortiz. 2023. “Applying Parallelism to a Bisimulation Algorithm to Improve Efficiency in Software Testing of Time-Critical Systems”. Ingeniería Y Competitividad 25 (Suplemento):e-20713144. https://doi.org/10.25100/iyc.v25iSuplemento.13144.