Reliability of Computer Communication Networks Using Binary Decision Diagrams. - Harpreet Singh 001; Adam Mustapha; Vijay Sharma; Mark Hua; Grant R. Gerhart (CATA, 2008)