@PhdThesis{Kuehne:AAFVP2009,
  author =       "Ulrich K{\"u}hne",
  title =        "Advanced Automation in Formal Verification of Processors",
  school =       "University of Bremen",
  year =         "2009",
  month =        sep,
  ee =           "http://www.shaker.de/de/content/catalogue/index.asp?ID=8&ISBN=978-3-8322-8619-4",
}