TY  - RPRT
TI  - Parallel Recursive State Compression for Free
AU  - Alfons Laarman
AU  - Jaco van de Pol
AU  - Michael Weber
PY  - 2011
UR  - https://arxiv.org/abs/1104.3119
ID  - 1104.3119
ER  -