Title
An O(m log n) algorithm for branching bisimilarity on labelled transition systems.
Year
Venue
DocType
2020
European Joint Conferences on Theory And Practice of Software
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
4
Name
Order
Citations
PageRank
David N. Jansen100.68
Jan Friso Groote2145.02
Jeroen J. A. Keiren301.35
Anton Wijs4174.89