Development of double-pulsed two-micron laser for atmospheric carbon dioxide measurements | IEEE Conference Publication | IEEE Xplore