%0 Journal Article %1 journals/fgcs/RemenskaWVTB13 %A Remenska, Daniela %A Willemse, Tim A. C. %A Verstoep, Kees %A Templon, Jeff %A Bal, Henri E. %D 2013 %J Future Gener. Comput. Syst. %K dblp %N 8 %P 2239-2251 %T Using model checking to analyze the system behavior of the LHC production grid. %U http://dblp.uni-trier.de/db/journals/fgcs/fgcs29.html#RemenskaWVTB13 %V 29

@article{journals/fgcs/RemenskaWVTB13, added-at = {2020-02-19T00:00:00.000+0100}, author = {Remenska, Daniela and Willemse, Tim A. C. and Verstoep, Kees and Templon, Jeff and Bal, Henri E.}, biburl = {https://www.bibsonomy.org/bibtex/25b7177e7c9fc6e73312f02511e1a2468/dblp}, ee = {https://doi.org/10.1016/j.future.2013.06.004}, interhash = {c1b6f50cb94a139cc6d9f5d932243051}, intrahash = {5b7177e7c9fc6e73312f02511e1a2468}, journal = {Future Gener. Comput. Syst.}, keywords = {dblp}, number = 8, pages = {2239-2251}, timestamp = {2020-02-20T12:10:13.000+0100}, title = {Using model checking to analyze the system behavior of the LHC production grid.}, url = {http://dblp.uni-trier.de/db/journals/fgcs/fgcs29.html#RemenskaWVTB13}, volume = 29, year = 2013 }