%0 Conference Paper %1 conf/charme/EisenbieglerK95 %A Eisenbiegler, Dirk %A Kumar, Ramayya %B CHARME %D 1995 %E Camurati, Paolo %E Eveking, Hans %I Springer %K dblp %P 71-83 %T Formally embedding existing high level synthesis algorithms. %U http://dblp.uni-trier.de/db/conf/charme/charme1995.html#EisenbieglerK95 %V 987 %@ 3-540-60385-9

@inproceedings{conf/charme/EisenbieglerK95, added-at = {2017-05-20T00:00:00.000+0200}, author = {Eisenbiegler, Dirk and Kumar, Ramayya}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f6ff4849fb6bd2aba072887950a8134b/dblp}, booktitle = {CHARME}, crossref = {conf/charme/1995}, editor = {Camurati, Paolo and Eveking, Hans}, ee = {https://doi.org/10.1007/3-540-60385-9_5}, interhash = {fba2e89432ebf82a2e356b8b793e0f29}, intrahash = {f6ff4849fb6bd2aba072887950a8134b}, isbn = {3-540-60385-9}, keywords = {dblp}, pages = {71-83}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:22:47.000+0200}, title = {Formally embedding existing high level synthesis algorithms.}, url = {http://dblp.uni-trier.de/db/conf/charme/charme1995.html#EisenbieglerK95}, volume = 987, year = 1995 }