Formal Modelling of Resilient Data Storage in Cloud.

Inna Pereverzeva, Linas Laibinis, Elena Troubitsyna, Markus Holmberg, Mikko Pri

Browse the full ICFEM paper archive.