Distributed MAP in the SpinJa model checker

Research output: Contribution to JournalArticleAcademicpeer-review

161 Downloads (Pure)
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