TY  - RPRT
TI  - Fault-Tree Compiler Program
AU  - Butler, Ricky W.
AU  - Martensen, Anna L.
PY  - 1992
UR  - https://ntrs.nasa.gov/citations/19920000031
ID  - 19920000031
ER  -