Using Model Checking to Analyze the System Behavior of the LHC Production Grid.

Daniela Remenska, Tim A. C. Willemse, Kees Verstoep, Wan J. Fokkink, Jeff Templon, Henri E. Bal

Browse the full CCGRID paper archive.