External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Verification of a Dynamic Management Protocol for Cloud Applications

Rim Abid, Gwen Salaün, Francesco Bongiovanni, Noel De Palma. Verification of a Dynamic Management Protocol for Cloud Applications. In Dang Van Hung, Mizuhito Ogawa, editors, Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings. Volume 8172 of Lecture Notes in Computer Science, pages 178-192, Springer, 2013. [doi]

Authors

Rim Abid

This author has not been identified. Look up 'Rim Abid' in Google

Gwen Salaün

This author has not been identified. It may be one of the following persons: Look up 'Gwen Salaün' in Google

Francesco Bongiovanni

This author has not been identified. Look up 'Francesco Bongiovanni' in Google

Noel De Palma

This author has not been identified. Look up 'Noel De Palma' in Google
runs on