Equivalence Checking of Quantum Protocols.

Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan

Browse the full TACAS paper archive.