Research on fault tree conversion to binary decision diagram
LANG Rong-ling
Computer Engineering and Applications . 2008, (27): 69 -71 .  DOI: 10.3778/j.issn.1002-8331.2008.27.022