@inproceedings{conf/date/ReetzSK98,
	title = {Formal Specification in VHDL for Hardware Verification.},
	author = {Ralf Reetz and Klaus Schneider and Thomas Kropf},
	booktitle = {DATE},
	crossref = {conf/date/1998},
	pages = {257-},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/date/date1998.html#ReetzSK98},
	year = {1998},
	biburl = {http://www.bibsonomy.org/bibtex/280d46c321fc63e8f61c9e40c0940576d/dblp},
	description = {dblp},
	ee = {http://csdl.computer.org/comp/proceedings/date/1998/8359/00/83590257abs.htm}, date = {2003-09-17},
	keywords = {dblp }
}