%0 Conference Paper %1 conf/date/EvekingHR99 %A Eveking, Hans %A Hinrichsen, Holger %A Ritter, Gerd %B DATE %D 1999 %I IEEE Computer Society / ACM %K %P 59-64 %T Automatic Verification of Scheduling Results in High-Level Synthesis. %U http://dblp.uni-trier.de/db/conf/date/date1999.html#EvekingHR99 %@ 0-7695-0078-1

@inproceedings{conf/date/EvekingHR99, added-at = {2023-12-13T02:27:41.000+0100}, author = {Eveking, Hans and Hinrichsen, Holger and Ritter, Gerd}, biburl = {https://www.bibsonomy.org/bibtex/2b911f73b4e8c4eebcc8db6373c986a33/admin}, booktitle = {DATE}, crossref = {conf/date/1999}, ee = {https://doi.org/10.1145/307418.307449}, interhash = {7f7f77b184149d69e4a2f7dbff170d37}, intrahash = {b911f73b4e8c4eebcc8db6373c986a33}, isbn = {0-7695-0078-1}, keywords = {}, pages = {59-64}, publisher = {IEEE Computer Society / ACM}, timestamp = {2023-12-13T02:27:41.000+0100}, title = {Automatic Verification of Scheduling Results in High-Level Synthesis.}, url = {http://dblp.uni-trier.de/db/conf/date/date1999.html#EvekingHR99}, year = 1999 }