An improved algorithm for the symbolic reliability analysis of networks | IEEE Conference Publication | IEEE Xplore