@inproceedings{ELICS02,
  AUTHOR    = { Berg, Christoph
                and Beyer, Sven
                and Jacobi, Christian
                and Kroening, Daniel
                and Leinenbach, Dirk },
  TITLE     = { Formal Verification of the {VAMP} Microprocessor (Project Status) },
  BOOKTITLE = { Symposium on the Effectiveness of Logic in Computer Science (ELICS02), },
  NOTE      = { Technical Report MPI-I-2002-2-007, Max-Planck-Institut für Informatik, Saarbruecken, Germany },
  YEAR      = { 2002 },
  PAGES     = { 31-36 },
  EDITOR    = { Witold Charatonik and Harald Ganzinger },
}