A Case Study in the Mechanical Verification of Fault Tolerance

@article{pub1537,
    author = {

Mantel, Heiko
 and 

Gärtner, Felix
},
    title = {A Case Study in the Mechanical Verification of Fault Tolerance},
    year = {2000},
    month = {10},
    volume = {12},
    number = {4},
    pages = {473--488},
    journal = {Journal of Experimental and Theoretical Artificial Intelligence (JETAI)},
    publisher = {Taylor & Francis}
}