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]