TY  - RPRT
TI  - Lowerbounds for Bisimulation by Partition Refinement
AU  - Jan Friso Groote
AU  - Jan Martens
AU  - Erik. P. de Vink
PY  - 2023
DO  - 10.46298/lmcs-19(2:10)2023
UR  - https://arxiv.org/abs/2203.07158
ID  - 2203.07158
ER  -