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 (Sep. 2023), e–20713144. DOI:https://doi.org/10.25100/iyc.v25iSuplemento.13144.