Design of a Laser Gas Sensor With Phase Compensation in Free Space Using Half-Mirror and Mixer | IEEE Journals & Magazine | IEEE Xplore