Reasoning about the Reliability of FaultTolerant Systems (0)

by B Littlewood, J Rushby
Venue:in Which One Component is “Possibly Perfect”, City University UK and SRI International USA, 2009, in preparation