An O(m log n) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation
- J.F. Groote
- , D.N. Jansen
- , J.J.A. Keiren
- , A.J. Wijs
Research output: Contribution to journal › Article › Academic › peer-review
10
Link opens in a new tab
Citations
(Web of Science)