Distributed MAP in the SpinJa model checker

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)84-90
JournalElectronic Proceedings in Theoretical Computer Science
Volume72
DOIs
Publication statusPublished - 2011

Bibliographical note

Proceedings title: Proc. 10th Workshop on Parallel and Distributed Methods in verifiCation (PDMC'11)

Cite this

@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",

}

Distributed MAP in the SpinJa model checker. / Vijzelaar, S.J.J.; Verstoep, K.; Fokkink, W.J.; Bal, H.E.

In: Electronic Proceedings in Theoretical Computer Science, Vol. 72, 2011, p. 84-90.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - Distributed MAP in the SpinJa model checker

AU - Vijzelaar, S.J.J.

AU - Verstoep, K.

AU - Fokkink, W.J.

AU - Bal, H.E.

N1 - Proceedings title: Proc. 10th Workshop on Parallel and Distributed Methods in verifiCation (PDMC'11)

PY - 2011

Y1 - 2011

U2 - 10.4204/eptcs.72.9

DO - 10.4204/eptcs.72.9

M3 - Article

VL - 72

SP - 84

EP - 90

JO - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

SN - 2075-2180

ER -