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