Betancourt J, Aranda J, Ortiz J. Applying parallelism to a bisimulation algorithm to improve efficiency in software testing of time-critical systems. inycomp [Internet]. 2023 Sep. 8 [cited 2024 Dec. 22];25(Suplemento):e-20713144. Available from: https://revistaingenieria.univalle.edu.co/index.php/ingenieria_y_competitividad/article/view/13144