A simple component-connection method for building binary decision diagrams encoding a fault tree

Yuan-Shun Way, Der-Yu Hsia. A simple component-connection method for building binary decision diagrams encoding a fault tree. Rel. Eng. & Sys. Safety, 70(1):59-70, 2000. [doi]

Abstract

Abstract is missing.