default search action
BibTeX record conf/date/ReetzSK98
@inproceedings{DBLP:conf/date/ReetzSK98, author = {Ralf Reetz and Klaus Schneider and Thomas Kropf}, editor = {Patrick M. Dewilde and Franz J. Rammig and Gerry Musgrave}, title = {Formal Specification in {VHDL} for Hardware Verification}, booktitle = {1998 Design, Automation and Test in Europe {(DATE} '98), February 23-26, 1998, Le Palais des Congr{\`{e}}s de Paris, Paris, France}, pages = {257--263}, publisher = {{IEEE} Computer Society}, year = {1998}, url = {https://doi.org/10.1109/DATE.1998.655865}, doi = {10.1109/DATE.1998.655865}, timestamp = {Sun, 06 Oct 2024 20:59:31 +0200}, biburl = {https://dblp.org/rec/conf/date/ReetzSK98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.