Analysis of DIRAC's behavior using model checking with process algebra
Remenska, Daniela, Templon, Jeff, Willemse, Tim, Bal, Henri, Verstoep, Kees, Fokkink, Wan, Charpentier, Philippe, Diaz, Ricardo Graciani, Lanciotti, Elisa, Roiser, Stefan, Ciba, KrzysztofVolume:
396
Language:
english
Journal:
Journal of Physics: Conference Series
DOI:
10.1088/1742-6596/396/5/052061
Date:
December, 2012
File:
PDF, 3.35 MB
english, 2012