iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/integration/MendiasHP02.xml
José M. Mendías Román Hermida Olga Peñalba A study about the efficiency of formal high-level synthesis applied to verification. 101-131 2002 31 Integr. 2 https://doi.org/10.1016/S0167-9260(02)00021-4 db/journals/integration/integration31.html#MendiasHP02