TY  - RPRT
TI  - A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems
AU  - David N. Jansen
AU  - Jan Friso Groote
AU  - Jeroen J. A. Keiren
AU  - Anton Wijs
PY  - 2019
DO  - 10.1007/978-3-030-45237-7_1
UR  - https://arxiv.org/abs/1909.10824
ID  - 1909.10824
ER  -