Formal Modelling of Resilient Data Storage in Cloud

Inna Pereverzeva, Linas Laibinis, Elena Troubitsyna, Markus Holmberg, Inna Vistbakka

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	Ei tiedossa
Otsikko	ICFEM 2013: Formal Methods and Software Engineering
Toimittajat	L Groves, J Sun
Kustantaja	Springer
Sivut	–
ISBN (elektroninen)	978-3-642-41202-8
ISBN (painettu)	978-3-642-41201-1
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-642-41202-8
Tila	Julkaistu - 2013
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	conference - Kesto: 1 tammik. 2013 → …

Konferenssi	conference
Ajanjakso	01/01/13 → …

Pääsy asiakirjaan

@inproceedings{540b8ecfd6144a56865826e5c5bde8ae,

title = "Formal Modelling of Resilient Data Storage in Cloud",

author = "Inna Pereverzeva and Linas Laibinis and Elena Troubitsyna and Markus Holmberg and Inna Vistbakka",

year = "2013",

doi = "10.1007/978-3-642-41202-8",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-642-41201-1",

pages = "–",

editor = "L Groves and J Sun",

booktitle = "ICFEM 2013: Formal Methods and Software Engineering",

publisher = "Springer",

note = "conference ; Conference date: 01-01-2013",

}

TY - GEN

T1 - Formal Modelling of Resilient Data Storage in Cloud

AU - Pereverzeva, Inna

AU - Laibinis, Linas

AU - Troubitsyna, Elena

AU - Holmberg, Markus

AU - Vistbakka, Inna

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-41202-8

DO - 10.1007/978-3-642-41202-8

M3 - Konferensbidrag

SN - 978-3-642-41201-1

SP - –

BT - ICFEM 2013: Formal Methods and Software Engineering

A2 - Groves, L

A2 - Sun, J

PB - Springer

T2 - conference

Y2 - 1 January 2013

ER -