An Efficient and Fully Refined Deformation Extraction Method for Deriving Mining-Induced Subsidence by the Joint of Probability Integral Method and SBAS-InSAR | IEEE Journals & Magazine | IEEE Xplore