@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},
description = {dblp},
ee = {http://csdl.computer.org/comp/proceedings/date/1998/8359/00/83590257abs.htm}, date = {2003-09-17},
keywords = {dblp }
}
::