The system of the methane explosion localization in the coal mine air trunk | IEEE Conference Publication | IEEE Xplore