"Verification of Quantum Protocols with a Probabilistic Model-Checker."

Amir M. Tavala, Soroosh Nazem, Ali A. Babaei-Brojeny (2008)

Details and statistics

DOI: 10.1016/J.ENTCS.2011.01.016

access: open

type: Conference or Workshop Paper

metadata version: 2023-03-10