%0 Conference Paper %1 conf/eurodac/HerrmannR95 %A Herrmann, Ronald %A Reielts, Thomas %B EURO-DAC %D 1995 %E Musgrave, Gerald %I IEEE Computer Society %K dblp %P 542-547 %T Verification of a production cell using an automatic verification environment for VHDL. %U http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1995.html#HerrmannR95 %@ 0-8186-7156-4

@inproceedings{conf/eurodac/HerrmannR95, added-at = {2023-03-24T00:00:00.000+0100}, author = {Herrmann, Ronald and Reielts, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/27b9c08d397427590ce278cb8d8c07ec6/dblp}, booktitle = {EURO-DAC}, crossref = {conf/eurodac/1995}, editor = {Musgrave, Gerald}, ee = {http://dl.acm.org/citation.cfm?id=224385}, interhash = {7f31e317fec70471a1288bc300b1b982}, intrahash = {7b9c08d397427590ce278cb8d8c07ec6}, isbn = {0-8186-7156-4}, keywords = {dblp}, pages = {542-547}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T15:05:25.000+0200}, title = {Verification of a production cell using an automatic verification environment for VHDL.}, url = {http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1995.html#HerrmannR95}, year = 1995 }