Using model checking to analyze the system behavior of the LHC production grid

D. Remenska, T.A.C. Willemse, K. Verstoep, W.J. Fokkink, H.E. Bal, J.A. Templon

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

Original languageEnglish
Title of host publicationProc. 12th Symposium on Cluster, Cloud and Grid Computing - CCGrid'12
Publication statusPublished - 2012

Cite this