Betancourt, Joan, Jesús Aranda, and James Ortiz. “Applying Parallelism to a Bisimulation Algorithm to Improve Efficiency in Software Testing of Time-Critical Systems”. Ingeniería y Competitividad 25, no. Suplemento (September 8, 2023): e–20713144. Accessed December 22, 2024. https://revistaingenieria.univalle.edu.co/index.php/ingenieria_y_competitividad/article/view/13144.