Towards a Proof-based SLA Management Framework - The SPECS Approach.

Miha Stopar, Jolanda Modic, Dana Petcu, Massimiliano Rak

Browse the full CLOSER paper archive.