%0 Conference Paper %1 conf/mwscas/LeSS20a %A Le, Son N. %A Srinivasan, Sudarshan K. %A Smith, Scott C. %B MWSCAS %D 2020 %I IEEE %K dblp %P 25-28 %T Formal Verification of Completion-Completeness for NCL Circuits. %U http://dblp.uni-trier.de/db/conf/mwscas/mwscas2020.html#LeSS20a %@ 978-1-7281-8058-8

@inproceedings{conf/mwscas/LeSS20a, added-at = {2020-09-21T00:00:00.000+0200}, author = {Le, Son N. and Srinivasan, Sudarshan K. and Smith, Scott C.}, biburl = {https://www.bibsonomy.org/bibtex/21a7ecfa98ec61675c0ab6e6cf60fcbc2/dblp}, booktitle = {MWSCAS}, crossref = {conf/mwscas/2020}, ee = {https://doi.org/10.1109/MWSCAS48704.2020.9184603}, interhash = {4b61110647dec1308b0859c433f5e4ab}, intrahash = {1a7ecfa98ec61675c0ab6e6cf60fcbc2}, isbn = {978-1-7281-8058-8}, keywords = {dblp}, pages = {25-28}, publisher = {IEEE}, timestamp = {2020-09-22T11:35:03.000+0200}, title = {Formal Verification of Completion-Completeness for NCL Circuits.}, url = {http://dblp.uni-trier.de/db/conf/mwscas/mwscas2020.html#LeSS20a}, year = 2020 }