Binary Decision Diagrams and Extensions for System Reliability Analysis

Liudong Xing Suprasad V. Amari