Skip to main content

Probabilistic Model-Checking of Quantum Protocols

Simon Gay ( University of Glasgow )

 

 

Share this: