Formal Verification For Cyclic Quantum Walk Circuits.

Benedicto James Sitou Campbell, Sudarshan K. Srinivasan

Browse the full ISCAS paper archive.