@article{2834e58fc12e463498033c6d920be70c,
title = "An O(m log n) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation",
keywords = "branching bisimulation, algorithm",
author = "J.F. Groote and D.N. Jansen and J.J.A. Keiren and A.J. Wijs",
year = "2017",
month = jun,
day = "23",
doi = "10.1145/3060140",
language = "English",
volume = "18",
journal = "Acm Transactions on Computational Logic",
issn = "1529-3785",
publisher = "Association for Computing Machinery (ACM)",
number = "2",
}