Automated Verification of Quantum Protocols using MCMAS (2012)

First Author: Belardinelli F
Attributed to:  Trusted Autonomous Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract

Parent Publication: 10th Workshop on Quantitative Aspects of Programming Languages (QAPL12)