TY  - RPRT
TI  - Verification of recursive parallel systems
AU  - Laura Bozzelli
AU  - Massimo Benerecetti
AU  - Adriano Peron
PY  - 2003
UR  - https://arxiv.org/abs/cs/0312019
ID  - cs/0312019
ER  -