William H. Sanders. Probabilistic Validation of Computer System Survivability. In Carlos Alberto Maziero, João Gabriel Silva, Aline Maria Santos Andrade, Flávio Morais de Assis Silva, editors, Dependable Computing, Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings. Volume 3747 of Lecture Notes in Computer Science, pages 1, Springer, 2005. [doi]
Abstract is missing.