@inproceedings{BJKLP03, <br>AUTHOR = {Beyer, S. and Jacobi, C. and Kröning, D. and Leinenbach, D. and Paul, W.J.},<br>TITLE = {Instantiating uninterpreted functional units and memory system: functional verification of the VAMP},<br>VOLUME = {2860}, <br>YEAR = {2003},<br>PAGES = {51-65}, <br>URL = {http:///publikationen/BJKLP03.pdf}, <br>SERIES = {LNCS},<br>BOOKTITLE = {CHARME 2003}, <br>PUBLISHER = {Springer},<br>EDITOR = {Geist, D. and Tronci, E.},<br>EE = {http://www.springerlink.com/content/5qnnmunvcb9u0y5a/},<br>}