Electron-beam pumped KrF laser extraction measurements for high Kr concentration gas mixtures | IEEE Journals & Magazine | IEEE Xplore