Upgrade of Highly Available Systems: Formal Methods at the Rescue.

Oussama Jebbar, Ferhat Khendek, Maria Toeroe

Browse the full IRI paper archive.