Model Checking Quantum Systems: Principles and Algorithms
M Ying, Y Feng
Cambridge University Press, 2021