Development of superconducting machines in Korea | IEEE Conference Publication | IEEE Xplore