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