Jan Friso Groote, David N. Jansen, Jeroen J. A. Keiren, Anton Wijs. An O(m log n) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation. ACM Trans. Comput. Log., 18(2), 2017. [doi]
@article{GrooteJKW17, title = {An ${O}(m \log n)$ Algorithm for Computing Stuttering Equivalence and Branching Bisimulation}, author = {Jan Friso Groote and David N. Jansen and Jeroen J. A. Keiren and Anton Wijs}, year = {2017}, doi = {10.1145/3060140}, url = {http://doi.acm.org/10.1145/3060140}, researchr = {https://researchr.org/publication/GrooteJKW17}, cites = {0}, citedby = {0}, journal = {ACM Trans. Comput. Log.}, volume = {18}, number = {2}, }