Modeling High Availability.

Kishor S. Trivedi, Ranjith Vasireddy, David Trindale, Swami Nathan, Rick Castro

Browse the full PRDC paper archive.