Development of an HTS Accelerator Magnet With REBCO Coils for Tests at HIMAC Beam Line | IEEE Journals & Magazine | IEEE Xplore