Amplification characteristics of an efficient discharge-pumped KrF laser | IEEE Journals & Magazine | IEEE Xplore