![](/img/cover-not-exists.png)
[ACM Press the 27th Annual ACM Symposium - Trento, Italy (2012.03.26-2012.03.30)] Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12 - Verification of a self-configuration protocol for distributed applications in the cloud
Salaün, Gwen, Etchevers, Xavier, De Palma, Noel, Boyer, Fabienne, Coupaye, ThierryYear:
2012
Language:
english
DOI:
10.1145/2245276.2231979
File:
PDF, 503 KB
english, 2012