Title
Bisimulation by Partitioning Is Ω((m+n)log n).
Year
DOI
Venue
2021
10.4230/LIPIcs.CONCUR.2021.31
CONCUR
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
3
Name
Order
Citations
PageRank
Jan Friso Groote1145.02
Jan Martens201.01
Erik P. de Vink301.69