Improving Reliability Calculation with Augmented Binary Decision Diagrams

Johannes Ulrich Herrmann. Improving Reliability Calculation with Augmented Binary Decision Diagrams. In 24th IEEE International Conference on Advanced Information Networking and Applications, AINA 2010, Perth, Australia, 20-13 April 2010. pages 328-333, IEEE Computer Society, 2010. [doi]

Abstract

Abstract is missing.