%0 Conference Paper %1 conf/isss/KuhnOSWREK01 %A Kuhn, Tommy %A Oppold, Tobias %A Schulz-Key, C. %A Winterholer, Markus %A Rosenstiel, Wolfgang %A Edwards, Mark %A Kashai, Yaron %B ISSS %D 2001 %E Hermida, Román %E Aboulhamid, El Mostapha %I ACM / IEEE Computer Society %K dblp %P 189-194 %T Object oriented hardware synthesis and verification. %U http://dblp.uni-trier.de/db/conf/isss/isss2001.html#KuhnOSWREK01 %@ 1-58113-418-5

@inproceedings{conf/isss/KuhnOSWREK01, added-at = {2018-11-06T00:00:00.000+0100}, author = {Kuhn, Tommy and Oppold, Tobias and Schulz-Key, C. and Winterholer, Markus and Rosenstiel, Wolfgang and Edwards, Mark and Kashai, Yaron}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2247c05bf1295761359a6f530ca5b8aa1/dblp}, booktitle = {ISSS}, crossref = {conf/isss/2001}, editor = {Hermida, Román and Aboulhamid, El Mostapha}, ee = {https://doi.org/10.1145/500001.500043}, interhash = {8e3b5edc398a121fba29f13f384f44ec}, intrahash = {247c05bf1295761359a6f530ca5b8aa1}, isbn = {1-58113-418-5}, keywords = {dblp}, pages = {189-194}, publisher = {ACM / IEEE Computer Society}, timestamp = {2019-09-27T15:35:10.000+0200}, title = {Object oriented hardware synthesis and verification.}, url = {http://dblp.uni-trier.de/db/conf/isss/isss2001.html#KuhnOSWREK01}, year = 2001 }