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]
No references recorded for this publication.
No citations of this publication recorded.