%0 Conference Paper %1 conf/tpcd/KropfSK94 %A Kropf, Thomas %A Schneider, Klaus %A Kumar, Ramayya %B TPCD %D 1994 %E Kumar, Ramayya %E Kropf, Thomas %I Springer %K dblp %P 223-238 %T A Formal Framework for High Level Synthesis. %U http://dblp.uni-trier.de/db/conf/tpcd/tpcd1994.html#KropfSK94 %V 901 %@ 3-540-59047-1

@inproceedings{conf/tpcd/KropfSK94, added-at = {2017-05-20T00:00:00.000+0200}, author = {Kropf, Thomas and Schneider, Klaus and Kumar, Ramayya}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2dadb3078d6f2faec588f7812cce6c4c4/dblp}, booktitle = {TPCD}, crossref = {conf/tpcd/1994}, editor = {Kumar, Ramayya and Kropf, Thomas}, ee = {https://doi.org/10.1007/3-540-59047-1_51}, interhash = {ebe1f936ca12291a4ad08d8bd1fe37d6}, intrahash = {dadb3078d6f2faec588f7812cce6c4c4}, isbn = {3-540-59047-1}, keywords = {dblp}, pages = {223-238}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:47:24.000+0200}, title = {A Formal Framework for High Level Synthesis.}, url = {http://dblp.uni-trier.de/db/conf/tpcd/tpcd1994.html#KropfSK94}, volume = 901, year = 1994 }