@InProceedings{Gargano:TPHOL05-1,
  author =       "Mauro Gargano and Mark Hillebrand and Dirk Leinenbach and Wolfgang Paul",
  title =        "On the Correctness of Operating System Kernels",
  year =         "2005",
  pages =        "1--16",
  series =       "Lecture Notes in Computer Science",
  volume =       "3603",
  booktitle =    "18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005)",
  publisher =    "Springer",
  editor =       "Joe Hurd and Thomas F. Melham",
  ee =           "http://dx.doi.org/10.1007/11541868_1",
  URL =          "http://www-wjp.cs.uni-sb.de/publikationen/GHLP05.pdf",
}