Sachi Nishida, Yoshiyuki Shinkawa. Evaluating Data Integrity in the Cloud using the UPPAAL. In Leszek A. Maciaszek, Jorge Cardoso, André Ludwig, Marten van Sinderen, Enrique Cabello, editors, Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24 - 26, 2016. pages 304-309, SciTePress, 2016. [doi]
Abstract is missing.