%0 Conference Paper %1 conf/vts/RayB10 %A Ray, Sandip %A Bhadra, Jayanta %B VTS %D 2010 %I IEEE Computer Society %K dblp %P 250 %T Innovative practices session 7C: Verification and testing challenges in high-level synthesis. %U http://dblp.uni-trier.de/db/conf/vts/vts2010.html#RayB10 %@ 978-1-4244-6648-1

@inproceedings{conf/vts/RayB10, added-at = {2011-03-21T00:00:00.000+0100}, author = {Ray, Sandip and Bhadra, Jayanta}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a7909da3cc5ecde5bdfed15e474054cd/dblp}, booktitle = {VTS}, crossref = {conf/vts/2010}, ee = {http://dx.doi.org/10.1109/VTS.2010.5469566}, interhash = {ef6f0e3e296740e589e508c87619964a}, intrahash = {a7909da3cc5ecde5bdfed15e474054cd}, isbn = {978-1-4244-6648-1}, keywords = {dblp}, pages = 250, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T13:39:24.000+0100}, title = {Innovative practices session 7C: Verification and testing challenges in high-level synthesis.}, url = {http://dblp.uni-trier.de/db/conf/vts/vts2010.html#RayB10}, year = 2010 }