TY  - RPRT
TI  - An O(m log n) Algorithm for Stuttering Equivalence and Branching Bisimulation
AU  - Jan Friso Groote
AU  - Anton Wijs
PY  - 2016
UR  - https://arxiv.org/abs/1601.01478
ID  - 1601.01478
ER  -