Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}