@InProceedings{elics02-vamp,
  author =	{Christoph Berg and Sven Beyer and Christian Jacobi and Daniel Kröning and Dirk Leinenbach},
  title =	{Formal Verification of the {VAMP} Microprocessor (Project Status)},
  booktitle =	{Symposium on the Effectiveness of Logic in Computer Science (ELICS02)},
  pages =	{31--36},
  year =	{2002},
  month =	mar,
  number =	{MPI-I-2002-2-007},
  publisher =	{Max-Planck-Institut für Informatik},
  editor =	{Witold Charatonik and Harald Ganzinger},
  psgz =	{2002/elics02-vamp.ps.gz},
  slides =	{2002/elics02-vamp-slides.ps.gz},
  poster =	{2002/elics02-vamp-poster.ps.gz},
  bibtex =	{2002/elics02-vamp.bib},
}