Publication | Closed Access
An implementation of an efficient algorithm for bisimulation equivalence
201
Citations
9
References
1990
Year
EngineeringFormal MethodsComputer-aided VerificationComputational ComplexityParallel ProgrammingComputer ScienceEquivalence CheckingModel CheckingFormal VerificationBisimulation Equivalence
| Year | Citations | |
|---|---|---|
Page 1
Page 1