Verification of a Dynamic Management Protocol for Cloud Applications.

Rim Abid, Gwen Salan, Francesco Bongiovanni, Noel De Palma

Browse the full ATVA paper archive.