Betancourt, J., Aranda, J., & 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), e–20713144. https://doi.org/10.25100/iyc.v25iSuplemento.13144