@article{BJKLP06, <br>AUTHOR = {Beyer, S. and Jacobi, C. and Kröning, D. and Leinenbach, D. and Paul, W.J.},<br>TITLE = {Putting it all together - Formal Verification of the VAMP},<br>YEAR = {2006},<br>URL = {http:///publikationen/BJKLP06.pdf}, <br>BOOKTITLE = {STTT Journal, Special Issue on Recent Advances in Hardware Verification}, <br>PUBLISHER = {Springer},<br>EE = {http://www.springerlink.com/content/446hwr2v4181353j/},<br>}