@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},
	biburl = {http://www.bibsonomy.org/bibtex/2cf3fd439bea94ce593df0f64b1989492/dblp},
	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 }
}