Repetitively pulsed, high energy, electron beam pumped krypton fluoride (KrF) lasers | IEEE Conference Publication | IEEE Xplore