%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 }