Verification of Concurrent Quantum Protocols by Equivalence Checking.

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

Browse the full TACAS paper archive.