@techreport{2008-Tews-MicroHypervisorVerification,
  author		= "{Tews}, Hendrik and {Weber}, Tjark and {V{\~{A}}{$\pi$}lp}, Marcus and {Poll}, Erik and {Eekelen}, M.C.J.D. van and {Rossum}, Peter van",
  title			= "{Nova Micro--Hypervisor Verification}",
  number		= "ICIS--R08012",
  month			= "May",
  institution		= "Radboud University Nijmegen",
  year			= "2008",
  note			= "Robin deliverable D13",
  code			= "icis.ICIS-R08012",
  research_group	= "ds",
  class			= "Report"
}