Quantum computation tree logic—model checking and complete calculus (2012)

by P Baltazar, R Chadha, P Mateus
Venue:EPTCS 85 (Proc. QAPL