%0 Conference Paper %1 conf/dac/KuhnOWREK01 %A Kuhn, Tommy %A Oppold, Tobias %A Winterholer, Markus %A Rosenstiel, Wolfgang %A Edwards, Mark %A Kashai, Yaron %B DAC %D 2001 %I ACM %K dblp %P 413-418 %T A Framework for Object Oriented Hardware Specification, Verification, and Synthesis. %U http://dblp.uni-trier.de/db/conf/dac/dac2001.html#KuhnOWREK01 %@ 1-58113-297-2

@inproceedings{conf/dac/KuhnOWREK01, added-at = {2018-11-06T00:00:00.000+0100}, author = {Kuhn, Tommy and Oppold, Tobias and Winterholer, Markus and Rosenstiel, Wolfgang and Edwards, Mark and Kashai, Yaron}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2886dc73d312059a00090e11d11244cf7/dblp}, booktitle = {DAC}, crossref = {conf/dac/2001}, ee = {https://doi.org/10.1145/378239.378537}, interhash = {228b7fa806b10ccabd22ad1ce4d27f72}, intrahash = {886dc73d312059a00090e11d11244cf7}, isbn = {1-58113-297-2}, keywords = {dblp}, pages = {413-418}, publisher = {ACM}, timestamp = {2019-09-27T20:18:20.000+0200}, title = {A Framework for Object Oriented Hardware Specification, Verification, and Synthesis.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2001.html#KuhnOWREK01}, year = 2001 }