Return to Article Details Checking Correctness of a Symbolic Reliability Expression for a Capacitated Network Download PDF