TY  - RPRT
TI  - Distributed Branching Bisimulation Minimization by Inductive Signatures
AU  - Stefan Blom
AU  - Jaco van de Pol
PY  - 2009
DO  - 10.4204/eptcs.14.3
UR  - https://arxiv.org/abs/0912.2550
ID  - 0912.2550
ER  -