@PHDTHESIS{plouv2012,
url = "
		http://www.theses.fr/2012PA066045",
title = "Etude, spécification, vérification formelle de mécanismes de virtualisation sécurisés pour architecture many-cores",
author = "Plouviez, Geoffrey",
year = "2012",
pages = "1 vol. (XIV-165 p.)",
note = "Thèse de doctorat dirigée par Greiner, Alain Informatique Paris 6 2012",
note = "2012PA066045",
}