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