Nova Micro--Hypervisor Verification

Fulltext present in this item

Fulltext: 72725.pdf

Format: PDF

Description: author's version

Title:	Nova Micro--Hypervisor Verification
Author(s):	Tews, H. ; Weber, T.M. ; Völp, Marcus; Poll, E. ; Eekelen, M.C.J.D. van ; Rossum, P.J.B. van
Publication year:	2008
Publisher:	onbekend : Institute for Computing and Information Sciences
Number of Pages:	61 p.
Series:	Technical Report ; ICIS--R08012
Publication type:	External research report
Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/72725
Display more details
Subject:	Digital Security
Organization:	Digital Security Security of Systems
Former Organization:	Biophysics

Faculty of Science [25332]
Open Access publications [46497]
Freely accessible full text publications
Electronic publications [72659]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [162941]
Academic output Radboud University