An O(mlog n) algorithm for computing stuttering equivalence and branching bisimulation

Research output: Contribution to journalArticleAcademicpeer-review

31 Citations (Scopus)
89 Downloads (Pure)

Fingerprint

Dive into the research topics of 'An O(mlog n) algorithm for computing stuttering equivalence and branching bisimulation'. Together they form a unique fingerprint.

Computer Science