@inproceedings{conf/charme/BeyerJKLP03,
title = {Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP.},
author = {Sven Beyer and Christian Jacobi and Daniel Kroening and Dirk Leinenbach and Wolfgang J. Paul},
booktitle = {CHARME},
crossref = {conf/charme/2003},
editor = {Daniel Geist and Enrico Tronci},
pages = {51-65},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
url = {http://dblp.uni-trier.de/db/conf/charme/charme2003.html#BeyerJKLP03},
volume = {2860},
year = {2003},
description = {dblp},
date = {2008-02-08}, ee = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2860&spage=51}, isbn = {3-540-20363-X},
keywords = {dblp }
}
::