@INPROCEEDINGS {4956,
author={P. Baltazar and R. Chadha and P. Mateus and A. Sernadas},
doi={},
booktitle={Workshop on Quantum Security  - QSEC},
title={Towards model-checking quantum security protocols},
year={2007},
month={January},
volume={-},
pages={0014--} 
}