Ali A. Babaei-Brojeny

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Amir M. Tavala, Soroosh Nazem, Ali A. Babaei-Brojeny
Verification of Quantum Protocols with a Probabilistic Model-Checker. Electron. Notes Theor. Comput. Sci. 270 (1) (2011)