Yi-Ling Hwong, Jeroen J. A. Keiren, Vincent J. J. Kusters, Sander J. J. Leemans, Tim A. C. Willemse. Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider. Science of Computer Programming, 78(12):2435-2452, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.