Pioneering Solutions for Advanced Gas Leak Detection in Hazardous Industrial and Mine Environments | IEEE Conference Publication | IEEE Xplore