Improved Probabilistic Bounds on Stopping Redundancy | IEEE Journals & Magazine | IEEE Xplore