@Misc{berg:vamp-talk-2002,
  author =	{Christoph Berg},
  title =	{Formale {V}erifikation des {VAMP}-{M}ikroprozessors},
  booktitle =	{},
  year =	2002,
  month =	aug,
  note =	{Graduiertenkolleg Leistungsgarantien für Rechnersysteme, Universität des Saarlandes},
  bibtex =	{2002/gk-aug02.bib},
  slides =	{2002/gk-aug02.pdf},
}