Construction of Superconducting Magnet System for the J-PARC Neutrino Beam Line | IEEE Journals & Magazine | IEEE Xplore