Verification of Quantum Protocols with a Probabilistic Model-Checker
-
doi
Date : 1389-11
Article type
Journal
Verification of Quantum Protocols with a Probabilistic Model-Checker
×
https://people.iut.ac.ir/en/babaeibrojeny/content/1629263?view=qrcode