%0 Journal Article %1 journals/scp/HwongKKLW13 %A Hwong, Yi-Ling %A Keiren, Jeroen J. A. %A Kusters, Vincent J. J. %A Leemans, Sander J. J. %A Willemse, Tim A. C. %D 2013 %J Sci. Comput. Program. %K dblp %N 12 %P 2435-2452 %T Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider. %U http://dblp.uni-trier.de/db/journals/scp/scp78.html#HwongKKLW13 %V 78

@article{journals/scp/HwongKKLW13, added-at = {2021-02-17T00:00:00.000+0100}, author = {Hwong, Yi-Ling and Keiren, Jeroen J. A. and Kusters, Vincent J. J. and Leemans, Sander J. J. and Willemse, Tim A. C.}, biburl = {https://www.bibsonomy.org/bibtex/2baf6d142cc4655158f92f6d27f13efb6/dblp}, ee = {https://doi.org/10.1016/j.scico.2012.11.009}, interhash = {a1fd6519f238a1369815737216336d38}, intrahash = {baf6d142cc4655158f92f6d27f13efb6}, journal = {Sci. Comput. Program.}, keywords = {dblp}, number = 12, pages = {2435-2452}, timestamp = {2024-04-09T05:27:06.000+0200}, title = {Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp78.html#HwongKKLW13}, volume = 78, year = 2013 }