Skip to main content

Probabilistic Model-Checking of Quantum Protocols

Simon Gay ( University of Glasgow )