Details for the publication GrooteJKW17.

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. In ACM Trans. Comput. Log. 18(2):13:1-13:34, 2017. DOI BIB