%0 Conference Paper %1 conf/dac/YangHCLRX14 %A Yang, Zhenkun %A Hao, Kecheng %A Cong, Kai %A Lei, Li %A Ray, Sandip %A Xie, Fei %B DAC %D 2014 %I ACM %K dblp %P 149:1-149:6 %T Scalable Certification Framework for Behavioral Synthesis Front-End. %U http://dblp.uni-trier.de/db/conf/dac/dac2014.html#YangHCLRX14 %@ 978-1-4503-2730-5

@inproceedings{conf/dac/YangHCLRX14, added-at = {2018-11-06T00:00:00.000+0100}, author = {Yang, Zhenkun and Hao, Kecheng and Cong, Kai and Lei, Li and Ray, Sandip and Xie, Fei}, biburl = {https://www.bibsonomy.org/bibtex/297d4dbb9f84851319d8169eb368fe73e/dblp}, booktitle = {DAC}, crossref = {conf/dac/2014}, ee = {https://doi.org/10.1145/2593069.2593209}, interhash = {dcbf4dc7f0881401f9a6c6728c85bf9b}, intrahash = {97d4dbb9f84851319d8169eb368fe73e}, isbn = {978-1-4503-2730-5}, keywords = {dblp}, pages = {149:1-149:6}, publisher = {ACM}, timestamp = {2018-11-07T15:14:38.000+0100}, title = {Scalable Certification Framework for Behavioral Synthesis Front-End.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2014.html#YangHCLRX14}, year = 2014 }