@InProceedings{Alkassar:FMCAD2010-b,
  author =       "Eyad Alkassar and Ernie Cohen and Mark A. Hillebrand
                 and Mikhail Kovalev and Wolfgang Paul",
  title =        "Verifying Shadow Page Table Algorithms",
  editor =       "Roderick Bloem and Natasha Sharygina",
  booktitle =    "Formal Methods in Computer-Aided Design, 10th
                 International Conference ({FMCAD} 2010)",
  year =         "2010",
  month =        oct,
  address =      "Lugano, Switzerland",
  publisher =    "IEEE Computer Society",
  note =         "To appear.",
}