Modelling Spatial-Temporal Change of High Altitude Lake (HAL) Using Earth Observational Data: A Case Study of Nani Lake of Uttarakhand | IEEE Conference Publication | IEEE Xplore