Transient phase shift measurements in an electron-beam-pumped XeF laser | IEEE Journals & Magazine | IEEE Xplore