Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/dsd/MendiasHMP02
%A Mendías, José M.
%A Hermida, Román
%A Molina, María C.
%A Peñalba, Olga
%B DSD
%D 2002
%I IEEE Computer Society
%K dblp
%P 308-315
%T Efficient Verification of Scheduling, Allocation and Binding in High-Level Synthesis.
%U http://dblp.uni-trier.de/db/conf/dsd/dsd2002.html#MendiasHMP02
%@ 0-7695-1790-0
@inproceedings{conf/dsd/MendiasHMP02,
added-at = {2023-03-23T00:00:00.000+0100},
author = {Mendías, José M. and Hermida, Román and Molina, María C. and Peñalba, Olga},
biburl = {https://www.bibsonomy.org/bibtex/276a60c7fc3c1794e5712d0be6337a2b2/dblp},
booktitle = {DSD},
crossref = {conf/dsd/2002},
ee = {https://doi.ieeecomputersociety.org/10.1109/DSD.2002.1115383},
interhash = {903e3e0ab2723f30f411debbd381c281},
intrahash = {76a60c7fc3c1794e5712d0be6337a2b2},
isbn = {0-7695-1790-0},
keywords = {dblp},
pages = {308-315},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T14:05:42.000+0200},
title = {Efficient Verification of Scheduling, Allocation and Binding in High-Level Synthesis.},
url = {http://dblp.uni-trier.de/db/conf/dsd/dsd2002.html#MendiasHMP02},
year = 2002
}