@article{171111d7ceba4756870803eb04597aad,
title = "Distributed MAP in the SpinJa model checker",
author = "S.J.J. Vijzelaar and K. Verstoep and W.J. Fokkink and H.E. Bal",
note = "Proceedings title: Proc. 10th Workshop on Parallel and Distributed Methods in verifiCation (PDMC'11)",
year = "2011",
doi = "10.4204/eptcs.72.9",
language = "English",
volume = "72",
pages = "84--90",
journal = "Electronic Proceedings in Theoretical Computer Science",
issn = "2075-2180",
publisher = "Open Publishing Association",
}