Simona Bernardi, Susanna Donatelli. Performance Validation of Fault-Tolerance Software: A Compositional Approach. In 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 1-4 July 2001, Göteborg, Sweden, Proceedings. pages 379-388, IEEE Computer Society, 2001. [doi]
Abstract is missing.