Distributed MAP in the SpinJa model checker

S.J.J. Vijzelaar, K. Verstoep, W.J. Fokkink, H.E. Bal

Research output: Contribution to Journal › Article › Academic › peer-review

157 Downloads (Pure)

Original language	English
Pages (from-to)	84-90
Journal	Electronic Proceedings in Theoretical Computer Science
Volume	72
DOIs	https://doi.org/10.4204/eptcs.72.9
Publication status	Published - 2011

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

Access to Document

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

}

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

SN - 2075-2180

VL - 72

SP - 84

EP - 90

JO - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

ER -