Measurement of temporal behavior of electron density in a discharge-pumped ArF excimer laser | IEEE Journals & Magazine | IEEE Xplore