TY  - RPRT
TI  - Computing $k$-Bisimulations for Large Graphs: A Comparison and Efficiency Analysis
AU  - Jannik Rau
AU  - David Richerby
AU  - Ansgar Scherp
PY  - 2023
UR  - https://arxiv.org/abs/2204.05821
ID  - 2204.05821
ER  -