Quantum computation tree logic – model checking and complete calculus

by P. Baltazar , R. Chadha , P. Mateus
Venue:International Journal of Quantum Information
Citations:3 - 1 self