SIRAL, a high spatial resolution radar altimeter for the Cryosat mission | IEEE Conference Publication | IEEE Xplore