%0 Conference Paper %1 conf/async/PaykinHZB20 %A Paykin, Jennifer %A Huffman, Brian %A Zimmerman, Daniel M. %A Beerel, Peter A. %B ASYNC %D 2020 %I IEEE %K dblp %P 54-62 %T Formal Verification of Flow Equivalence in Desynchronized Designs. %U http://dblp.uni-trier.de/db/conf/async/async2020.html#PaykinHZB20 %@ 978-1-7281-5495-4

@inproceedings{conf/async/PaykinHZB20, added-at = {2020-09-10T00:00:00.000+0200}, author = {Paykin, Jennifer and Huffman, Brian and Zimmerman, Daniel M. and Beerel, Peter A.}, biburl = {https://www.bibsonomy.org/bibtex/29dee6d825deaa268017a89dc8a0b025e/dblp}, booktitle = {ASYNC}, crossref = {conf/async/2020}, ee = {https://doi.org/10.1109/ASYNC49171.2020.00015}, interhash = {28f10828b995b36ec08fb27b7fa0a87e}, intrahash = {9dee6d825deaa268017a89dc8a0b025e}, isbn = {978-1-7281-5495-4}, keywords = {dblp}, pages = {54-62}, publisher = {IEEE}, timestamp = {2020-09-11T12:04:38.000+0200}, title = {Formal Verification of Flow Equivalence in Desynchronized Designs.}, url = {http://dblp.uni-trier.de/db/conf/async/async2020.html#PaykinHZB20}, year = 2020 }