Kishor S. Trivedi, Ranjith Vasireddy, David Trindale, Swami Nathan, Rick Castro. Modeling High Availability. In 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 18-20 December, 2006, University of California, Riverside, USA. pages 154-164, IEEE Computer Society, 2006. [doi]
Abstract is missing.