Distributed MAP in the SpinJa model checker

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

Research output: Contribution to JournalArticleAcademicpeer-review

157 Downloads (Pure)
Original languageEnglish
Pages (from-to)84-90
JournalElectronic Proceedings in Theoretical Computer Science
Publication statusPublished - 2011

Bibliographical note

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

Cite this