Tail distribution of the maximum of correlated Gaussian random variables | IEEE Conference Publication | IEEE Xplore