Improved bounds computation for probabilistic /spl mu/ | IEEE Conference Publication | IEEE Xplore