Application and analysis on structure exploration of coal seam by mine ground penetrating radar | IEEE Conference Publication | IEEE Xplore