High repetition rate, wide-aperture KrF lasers for subpicosecond amplification | IEEE Journals & Magazine | IEEE Xplore