@conference{DBLP:conf/fm/BartheBCL11,
author = "Gilles Barthe and Gustavo Betarte and Juan Diego Campo and Carlos Luna",
booktitle = "FM 2011: Formal Methods - 17th International Symposium on                Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings",
crossref = "DBLP:conf/fm/2011",
doi = "10.1007/978-3-642-21437-0_19",
editor = "Michael Butler and                Wolfram Schulte",
isbn = "978-3-642-21436-3",
note = "PARTNERS: IMDEA
PROJECTS: NESSOS, DESAFIOS 10, PROMETIDOS, ANII-Clemente Estable
NOTIER
CITE(03/03/2014):19",
pages = "231-245",
publisher = "Springer Berlin / Heidelberg",
series = "Lecture Notes in Computer Science",
title = "{F}ormally {V}erifying {I}solation and {A}vailability in an {I}dealized                {M}odel of {V}irtualization",
volume = "6664",
year = "2011",
}