Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%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
}