Probabilistic Compositional Reasoning for Guaranteeing Fault Tolerance Properties.

Jan Olaf Blech

Browse the full OPODIS paper archive.