Binary Decision Diagrams and Applications to Reliability Analysis (2000)

by Maria Nikolskaïa