Modeling and Verification of Redundancy Policies.

Hamza Chouh, Charlotte Callon, Ghita Jalal, Frdric Boulanger, Safouan Taha

Browse the full MODELS paper archive.