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 proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proc. 12th Symposium on Cluster, Cloud and Grid Computing - CCGrid'12
Publisher	IEEE/ACM
Pages	335-343
Publication status	Published - 2012

Persistent URL (handle)

@inproceedings{63737f3f4f154d16a9f9e12365ef9fff,

title = "Using model checking to analyze the system behavior of the LHC production grid",

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

year = "2012",

language = "English",

pages = "335--343",

booktitle = "Proc. 12th Symposium on Cluster, Cloud and Grid Computing - CCGrid'12",

publisher = "IEEE/ACM",

}