TY  - RPRT
TI  - SPINning Parallel Systems Software
AU  - O. S. Matlin
AU  - E. Lusk
AU  - W. McCune
PY  - 2002
UR  - https://arxiv.org/abs/cs/0203009
ID  - cs/0203009
ER  -