@misc{indiciaeabdfd784d31f,
  title = {Distributed MAP in the SpinJa Model Checker},
  author = {Stefan Vijzelaar and Kees Verstoep and Wan Fokkink and Henri Bal},
  year = {2011},
  doi = {10.4204/eptcs.72.9},
  url = {https://arxiv.org/abs/1111.0374},
  note = {Source identifier: 1111.0374}
}