TY  - SER
AU  - Rauzy, Antoine
TI  - Mathematical Foundations of Minimal Cutsets
KW  - Binary Decision Diagram
KW  - Fault Trees
KW  - Minimal Cutset Identification
ER  -