Inproceedings,
A Hierarchical Approach to Self-Timed Circuit Verification.
C. Chau, W. Jr., M. Kaufmann, M. Roncken, and I. Sutherland.ASYNC, page 105-113. IEEE, (2019)
Meta data
- BibTeX key
- conf/async/ChauHKRS19
- entry type
- inproceedings
- booktitle
- ASYNC
- year
- 2019
- pages
- 105-113
- publisher
- IEEE
- crossref
- conf/async/2019
- ee
- https://doi.org/10.1109/ASYNC.2019.00022
- isbn
- 978-1-5386-4747-9
- url
- http://dblp.uni-trier.de/db/conf/async/async2019.html#ChauHKRS19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/async/ChauHKRS19
%A Chau, Cuong K.
%A Jr., Warren A. Hunt
%A Kaufmann, Matt
%A Roncken, Marly
%A Sutherland, Ivan E.
%B ASYNC
%D 2019
%I IEEE
%K dblp
%P 105-113
%T A Hierarchical Approach to Self-Timed Circuit Verification.
%U http://dblp.uni-trier.de/db/conf/async/async2019.html#ChauHKRS19
%@ 978-1-5386-4747-9
@inproceedings{conf/async/ChauHKRS19,
added-at = {2019-10-02T00:00:00.000+0200},
author = {Chau, Cuong K. and Jr., Warren A. Hunt and Kaufmann, Matt and Roncken, Marly and Sutherland, Ivan E.},
biburl = {https://www.bibsonomy.org/bibtex/25af8a5f72c96a935e973b5bfe4ec12b5/dblp},
booktitle = {ASYNC},
crossref = {conf/async/2019},
ee = {https://doi.org/10.1109/ASYNC.2019.00022},
interhash = {874ec2ce01e14ccd52353734905b1ba1},
intrahash = {5af8a5f72c96a935e973b5bfe4ec12b5},
isbn = {978-1-5386-4747-9},
keywords = {dblp},
pages = {105-113},
publisher = {IEEE},
timestamp = {2019-10-17T16:05:33.000+0200},
title = {A Hierarchical Approach to Self-Timed Circuit Verification.},
url = {http://dblp.uni-trier.de/db/conf/async/async2019.html#ChauHKRS19},
year = 2019
}