View of Applying parallelism to a bisimulation algorithm to improve efficiency in software testing of time-critical systems

Return to Article Details Applying parallelism to a bisimulation algorithm to improve efficiency in software testing of time-critical systems Download Download PDF