Efficient Large-Scale Model Checking

K. Verstoep, H.E. Bal, J. Barnat, L. Brim

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationInternational Parallel and Distributed Processing Symposium
Publication statusPublished - 2009
EventInternational Parallel and Distributed Processing Symposium -
Duration: 1 Jan 20091 Jan 2009

Conference

ConferenceInternational Parallel and Distributed Processing Symposium
Period1/01/091/01/09

Cite this

Verstoep, K., Bal, H. E., Barnat, J., & Brim, L. (2009). Efficient Large-Scale Model Checking. In International Parallel and Distributed Processing Symposium
Verstoep, K. ; Bal, H.E. ; Barnat, J. ; Brim, L. / Efficient Large-Scale Model Checking. International Parallel and Distributed Processing Symposium. 2009.
@inproceedings{5e54e243353f4964a9720521531a63f6,
title = "Efficient Large-Scale Model Checking",
author = "K. Verstoep and H.E. Bal and J. Barnat and L. Brim",
year = "2009",
language = "English",
booktitle = "International Parallel and Distributed Processing Symposium",

}

Verstoep, K, Bal, HE, Barnat, J & Brim, L 2009, Efficient Large-Scale Model Checking. in International Parallel and Distributed Processing Symposium. International Parallel and Distributed Processing Symposium, 1/01/09.

Efficient Large-Scale Model Checking. / Verstoep, K.; Bal, H.E.; Barnat, J.; Brim, L.

International Parallel and Distributed Processing Symposium. 2009.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Efficient Large-Scale Model Checking

AU - Verstoep, K.

AU - Bal, H.E.

AU - Barnat, J.

AU - Brim, L.

PY - 2009

Y1 - 2009

M3 - Conference contribution

BT - International Parallel and Distributed Processing Symposium

ER -

Verstoep K, Bal HE, Barnat J, Brim L. Efficient Large-Scale Model Checking. In International Parallel and Distributed Processing Symposium. 2009