Cold Mass Assembly of First Full-Scale Prototype of Beam Separation Dipole Magnet for the High-Luminosity LHC Upgrade | IEEE Journals & Magazine | IEEE Xplore