Frequency offset estimation for galileo/GPS receivers based on differential correlation | IEEE Conference Publication | IEEE Xplore