Gas Detector Market Size - By Installation (Fixed, Portable), By End-use Industry (Chemicals & Petrochemicals, Energy & Power, Metal & Mining, Oil & Gas, Water & Wastewater, Residential Building, Commercial Building, Others), By Type & Forecast, 2024 - 2032