Tatsuhiro Tsuchiya. A BDD-Based Approach to Reliability Optimal Module Allocation in Networks. In IEEE 18th Pacific Rim International Symposium on Dependable Computing, PRDC 2012, Niigata, Japan, November 18-19, 2012. pages 121-126, IEEE Computer Society, 2012. [doi]
Abstract is missing.