Meta data
- BibTeX key
- conf/date/HaoXRY10
- entry type
- inproceedings
- booktitle
- DATE
- year
- 2010
- pages
- 1500-1505
- publisher
- IEEE Computer Society
- crossref
- conf/date/2010
- ee
- http://dl.acm.org/citation.cfm?id=1871290
- isbn
- 978-1-4244-7054-9
- url
- http://dblp.uni-trier.de/db/conf/date/date2010.html#HaoXRY10
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/date/HaoXRY10
%A Hao, Kecheng
%A Xie, Fei
%A Ray, Sandip
%A Yang, Jin
%B DATE
%D 2010
%E Micheli, Giovanni De
%E Al-Hashimi, Bashir M.
%E Müller, Wolfgang
%E Macii, Enrico
%I IEEE Computer Society
%K dblp
%P 1500-1505
%T Optimizing equivalence checking for behavioral synthesis.
%U http://dblp.uni-trier.de/db/conf/date/date2010.html#HaoXRY10
%@ 978-1-4244-7054-9
@inproceedings{conf/date/HaoXRY10,
added-at = {2022-01-17T00:00:00.000+0100},
author = {Hao, Kecheng and Xie, Fei and Ray, Sandip and Yang, Jin},
biburl = {https://www.bibsonomy.org/bibtex/2f4993d6da583793f1176c4c737f3f015/dblp},
booktitle = {DATE},
crossref = {conf/date/2010},
editor = {Micheli, Giovanni De and Al-Hashimi, Bashir M. and Müller, Wolfgang and Macii, Enrico},
ee = {http://dl.acm.org/citation.cfm?id=1871290},
interhash = {621e120ed32a6a0b84c18dd28ed10ea6},
intrahash = {f4993d6da583793f1176c4c737f3f015},
isbn = {978-1-4244-7054-9},
keywords = {dblp},
pages = {1500-1505},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T06:50:12.000+0200},
title = {Optimizing equivalence checking for behavioral synthesis.},
url = {http://dblp.uni-trier.de/db/conf/date/date2010.html#HaoXRY10},
year = 2010
}