No. Title Author Year
1 Formally Verified Implementation of an Idealized Model of Virtualization Barthe, Gilles et al. 2014
2 07091 Abstracts Collection -- Mobility, Ubiquity and Security Barthe, Gilles et al. 2007
3 07091 Executive Summary -- Mobility, Ubiquity and Security Barthe, Gilles et al. 2007
Current Page :
Number of result pages: 1
Number of documents: 3


DROPS-Home | Fulltext Search | Imprint Published by LZI