Verification of a self-configuration protocol for distributed applications in the cloud

Gwen Sala√ľn, Xavier Etchevers, Noel De Palma, Fabienne Boyer, Thierry Coupaye. Verification of a self-configuration protocol for distributed applications in the cloud. In Sascha Ossowski, Paola Lecca, editors, Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012. pages 1278-1283, ACM, 2012. [doi]

Bibliographies