Formal Modelling of Resilient Data Storage in Cloud

A4 Konferenspublikationer


Interna författare/redaktörer


Publikationens författare: Inna Pereverzeva; Linas Laibinis; Elena Troubitsyna; Markus Holmberg; Mikko Pöri
Redaktörer: Groves L, Sun J
Förläggare: Springer-Verlag Berlin Heidelberg
Publiceringsår: 2013
Förläggare: Springer
Moderpublikationens namn: ICFEM 2013: Formal Methods and Software Engineering
Seriens namn: Lecture Notes in Computer Science
ISBN: 978-3-642-41201-1
eISBN: 978-3-642-41202-8
ISSN: 0302-9743

Senast uppdaterad 2020-18-02 vid 05:21