@inproceedings{BBJKL02,
AUTHOR = {Berg, C. and Beyer, S. and Jacobi, C. and Kröning, D. and Leinenbach, D.},
TITLE = {Formal Verification of the VAMP Microprocessor (Project Status)},
YEAR = {2002},
PAGES = {31-36},
BOOKTITLE = {Symposium on the Effectiveness of Logic in Computer Science (ELICS02)},
PUBLISHER = {Max-Planck-Institut für Informatik},
EDITOR = {Charatonik, Witold and Ganzinger, Harald},
}