![](/img/cover-not-exists.png)
QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS
BALTAZAR, P., CHADHA, R., MATEUS, P.Volume:
6
Language:
english
Journal:
International Journal of Quantum Information
DOI:
10.1142/S0219749908003530
Date:
April, 2008
File:
PDF, 352 KB
english, 2008