Dependability Assessment using Binary Decision Diagrams (1995)

by Stacy A Doyle, Joanne B Dugan
Venue:in Proc. 25th International Symposiom Fault-Tolerant Computing