Resource Dictionary

Detectors

Specialized chemical or electronic instruments used to detect mine gases.