@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},
}