%0 Conference Paper %1 conf/eurodac/HerrmannP94 %A Herrmann, Ronald %A Pargmann, Hergen %B EURO-DAC %D 1994 %E Mermet, Jean %I IEEE Computer Society %K %P 578-583 %T Computing binary decision diagrams for VHDL data types. %U http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1994.html#HerrmannP94 %@ 0-89791-685-9

@inproceedings{conf/eurodac/HerrmannP94, added-at = {2023-12-13T02:25:51.000+0100}, author = {Herrmann, Ronald and Pargmann, Hergen}, biburl = {https://www.bibsonomy.org/bibtex/272e7672d900401deb17fe6453217d33a/admin}, booktitle = {EURO-DAC}, crossref = {conf/eurodac/1994}, editor = {Mermet, Jean}, ee = {http://dl.acm.org/citation.cfm?id=198332}, interhash = {7f1e5d4c0afa6ff783521fe6cd4c3020}, intrahash = {72e7672d900401deb17fe6453217d33a}, isbn = {0-89791-685-9}, keywords = {}, pages = {578-583}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T02:25:51.000+0100}, title = {Computing binary decision diagrams for VHDL data types.}, url = {http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1994.html#HerrmannP94}, year = 1994 }