On the probability density of a maximum likelihood mean frequency estimator | IEEE Journals & Magazine | IEEE Xplore