Skip to content

A Logic for Quantum Circuits and Protocols.

Manas K. Patra

VenueCICTAC
Year2005
ProceedingsICTAC

Browse the full ICTAC paper archive.