Verification of Quantum Protocols with a Probabilistic Model-Checker

Verification of Quantum Protocols with a Probabilistic Model-Checker
-

doi
Article type
Journal
https://people.iut.ac.ir/en/babaeibrojeny/content/1629263