Verification of Quantum Protocols with a Probabilistic Model-Checker
×
https://people.iut.ac.ir/en/babaeibrojeny/content/1629263?view=qrcode