Verification of non-functional properties of cloud-based distributed system services.

Kaliappa Ravindran, Arun Adiththan

Browse the full ICSE paper archive.