TY  - SER
AU  - Rauzy, Antoine
TI  - A New Methodology to Handle Boolean Models with  Loops
KW  - Binary Decision Diagram
KW  - Boolean Reliability Models with  Loops
KW  - Reliability Network
ER  -