@InProceedings{TNBB11,
author={Amir Tavala and Soroosh Nazema and Ali A. Babaei-Brojeny},
title={Verification of Quantum Protocols with a Probabilistic Model-Checker},
booktitle={Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models (QPL/DCM 2008)},
year={2011},

editor={},
pages={175--182},
organization={},
publisher={},
series={ENTCS},
volume={270},
address={},
month={},
note={},
key={}
}