Verifying cloud services: present and future

Reference : Verifying cloud services: present and future


	Document type :	Scientific journals : Article
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/10416

Title :	Verifying cloud services: present and future
Language :	English
Author, co-author :	Bouchenak, Sara []
	Chockler, Gregory []
	Chockler, Hana []
	Gheorghe, Gabriela [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	Santos, Nuno []
	Shraer, Alexander []
Publication date :	2013
Journal title :	ACM SIGOPS: Operating Systems Review
Volume :	47
Pages :	6-19
Peer reviewed :	No
Permalink :	http://hdl.handle.net/10993/10416

There is no file associated with this reference.

All documents in ORBi^lu are protected by a user license.