@InProceedings{Alkassar:VSTTE2010-,
  author =       "Eyad Alkassar and Mark A. Hillebrand and Wolfgang Paul
                 and Elena Petrova",
  title =        "Automated Verification of a Small Hypervisor",
  booktitle =    "Verified Software: Theories, Tools, Experiments (VSTTE
                 2010)",
  address =      "Edinburgh, UK",
  year =         "2010",
  editor =       "Peter O'Hearn and Gary T. Leavens and Sriram
                 Rajamani",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  sourcestgz =   "http://www.verisoftxt.de/d/src/BabyHypervisor-VSTTE2010.tar.gz",
  note =         "To appear.",
}