@ARTICLE {2855,
author={P. Baltazar and R. Chadha and P. Mateus},
doi={},
journal={Intrnl. Journal of Quantum Information},
title={Quantum computation tree logic - model checking and complete calculus},
year={2008},
month={January},
volume={6},
number={2},
pages={281-302},
ISSN={0219-7499}
}
Create and download bib file