%0 Conference Paper %1 conf/glvlsi/MunirGFPN21 %A Munir, Mustafa %A Gopikanna, Aswin %A Fayyazi, Arash %A Pedram, Massoud %A Nazarian, Shahin %B ACM Great Lakes Symposium on VLSI %D 2021 %E Chen, Yiran %E Zhirnov, Victor V. %E Sasan, Avesta %E Savidis, Ioannis %I ACM %K dblp %P 259-264 %T qMC: A Formal Model Checking Verification Framework For Superconducting Logic. %U http://dblp.uni-trier.de/db/conf/glvlsi/glvlsi2021.html#MunirGFPN21 %@ 978-1-4503-8393-6

@inproceedings{conf/glvlsi/MunirGFPN21, added-at = {2023-09-30T00:00:00.000+0200}, author = {Munir, Mustafa and Gopikanna, Aswin and Fayyazi, Arash and Pedram, Massoud and Nazarian, Shahin}, biburl = {https://www.bibsonomy.org/bibtex/2ce152d4755186799c4612b9fbb79769a/dblp}, booktitle = {ACM Great Lakes Symposium on VLSI}, crossref = {conf/glvlsi/2021}, editor = {Chen, Yiran and Zhirnov, Victor V. and Sasan, Avesta and Savidis, Ioannis}, ee = {https://doi.org/10.1145/3453688.3461522}, interhash = {42aa9b0b99d5b46652afd250de18f654}, intrahash = {ce152d4755186799c4612b9fbb79769a}, isbn = {978-1-4503-8393-6}, keywords = {dblp}, pages = {259-264}, publisher = {ACM}, timestamp = {2024-04-09T22:51:33.000+0200}, title = {qMC: A Formal Model Checking Verification Framework For Superconducting Logic.}, url = {http://dblp.uni-trier.de/db/conf/glvlsi/glvlsi2021.html#MunirGFPN21}, year = 2021 }