Login / Signup
Benedicto James Sitou Campbell
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Model Checker
Orders Of Magnitude
Delay Insensitive
Quantum Computing
Top Venues
ISCAS
</>
Publications
</>
Benedicto James Sitou Campbell
,
Sudarshan K. Srinivasan
Formal Verification For Cyclic Quantum Walk Circuits.
ISCAS
(2024)