Design of a mid-IR active imaging system for gas detection using a pulsed laser source | IEEE Conference Publication | IEEE Xplore