12 August 2014 IR31CE – Miniature Infrared Gas Sensor for CO2 Monitoring under High Pressure Conditions IR31CE - Miniature Infrared Gas Sensor for CO2 Monitoring under High Pressure Conditions