%0 Conference Paper %1 conf/async/ChauHKRS18 %A Chau, Cuong K. %A Jr., Warren A. Hunt %A Kaufmann, Matt %A Roncken, Marly %A Sutherland, Ivan E. %B ASYNC %D 2018 %I IEEE Computer Society %K dblp %P 51-58 %T Data-Loop-Free Self-Timed Circuit Verification. %U http://dblp.uni-trier.de/db/conf/async/async2018.html#ChauHKRS18 %@ 978-1-5386-5883-3

@inproceedings{conf/async/ChauHKRS18, added-at = {2023-03-23T00:00:00.000+0100}, 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/28e54050dcde04d1c6db9e53a24dc218f/dblp}, booktitle = {ASYNC}, crossref = {conf/async/2018}, ee = {https://doi.ieeecomputersociety.org/10.1109/ASYNC.2018.00023}, interhash = {d4dbd9c6f757ae20f5f87d2001e586cb}, intrahash = {8e54050dcde04d1c6db9e53a24dc218f}, isbn = {978-1-5386-5883-3}, keywords = {dblp}, pages = {51-58}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T10:56:25.000+0200}, title = {Data-Loop-Free Self-Timed Circuit Verification.}, url = {http://dblp.uni-trier.de/db/conf/async/async2018.html#ChauHKRS18}, year = 2018 }