An exact formula for the probability density of the phase error of a digital interferometer | IEEE Conference Publication | IEEE Xplore