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