Rim Abid, Gwen Salaün, Francesco Bongiovanni, Noël de Palma. Verification of a Dynamic Management Protocol for Cloud Applications.
11th International Symposium, ATVA 2013, Dang Van Hung and Mizuhito Ogawa, Oct 2013, Hanoi, Vietnam. pp.178-192,
⟨10.1007/978-3-319-02444-8_14⟩.
⟨hal-00863262⟩