APA (7th ed.) Citation

Ying, M., & Feng, Y. (2021). Model checking quantum systems: Principles and algorithms. Cambridge University Press. https://doi.org/10.1017/9781108613323

Chicago Style (17th ed.) Citation

Ying, Mingsheng, and Yuan Feng. Model Checking Quantum Systems: Principles and Algorithms. Cambridge, United Kingdom ; New York, NY: Cambridge University Press, 2021. https://doi.org/10.1017/9781108613323.

MLA (9th ed.) Citation

Ying, Mingsheng, and Yuan Feng. Model Checking Quantum Systems: Principles and Algorithms. Cambridge University Press, 2021. https://doi.org/10.1017/9781108613323.