A Case Study in the Mechanical Verification of Fault Tolerance

@inproceedings{pub1544,
    author = {

Mantel, Heiko
 and 

Gärtner, Felix
},
    title = {A Case Study in the Mechanical Verification of Fault Tolerance},
    booktitle = {Proceedings of Special Track on Verification, Validation and System Certification at 13th International Florida Artificial Intelligence Research Society Conference 2000, FLAIRS-2000. International FLAIRS Conference (FLAIRS), Orlando},
    year = {2000},
    pages = {341--345},
    address = {Orlando, Florida, USA},
    publisher = {AAAI Press}
}