Fingerprint
Dive into the research topics of 'An O(m log n) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
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
Citations
(Web of Science)