BibTeX record journals/scp/HwongKKLW13

download as .bib file

@article{DBLP:journals/scp/HwongKKLW13,
  author    = {Yi{-}Ling Hwong and
               Jeroen J. A. Keiren and
               Vincent J. J. Kusters and
               Sander J. J. Leemans and
               Tim A. C. Willemse},
  title     = {Formalising and analysing the control software of the Compact Muon
               Solenoid Experiment at the Large Hadron Collider},
  journal   = {Sci. Comput. Program.},
  volume    = {78},
  number    = {12},
  pages     = {2435--2452},
  year      = {2013}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics