Remote sensing observation of mining induced subsidence by means of differential SAR-interferometry | IEEE Conference Publication | IEEE Xplore