An O(m log n) Algorithm for Stuttering Equivalence and Branching Bisimulation

Research output: Contribution to journalArticleAcademic

Original languageEnglish
JournalCoRR
Volumeabs/1601.01478
Publication statusPublished - 2016

Cite this