TY  - RPRT
TI  - Scalable Minimization Algorithm for Partial Bisimulation
AU  - J. Markovski
PY  - 2012
DO  - 10.4204/eptcs.86.2
UR  - https://arxiv.org/abs/1207.2462
ID  - 1207.2462
ER  -