TY  - SER
AU  - Vemuri, Kiran Kumar
AU  - Dugan, Joanne Bechta
AU  - Sulilvan, Kevin J.
TI  - Automatic Synthesis of Fault Trees  for  Computer-Based Systems
KW  - Fault Tree Synthesis
KW  - Digraphs
KW  - Dynamic Fault Tree
ER  -