TY  - RPRT
TI  - Distributed MAP in the SpinJa Model Checker
AU  - Stefan Vijzelaar
AU  - Kees Verstoep
AU  - Wan Fokkink
AU  - Henri Bal
PY  - 2011
DO  - 10.4204/eptcs.72.9
UR  - https://arxiv.org/abs/1111.0374
ID  - 1111.0374
ER  -