Control Computer System for KEK Proton Synchrotron | IEEE Journals & Magazine | IEEE Xplore