A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems

Research output: Contribution to journal › Article › Academic

Access to Document

@article{4c1148e38adf4da7aa67487e23383cb6,

title = "A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems",

author = "Jansen, \{David N.\} and Groote, \{Jan Friso\} and Keiren, \{Jeroen J. A.\} and Anton Wijs",

year = "2019",

language = "English",

volume = "abs/1909.10824",

journal = "CoRR",

issn = "2331-8422",

publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik",

}