APA Citation

Ying, M. Model checking quantum systems: Principles and algorithms.

Chicago Style Citation

Ying, Mingsheng. Model Checking Quantum Systems: Principles and Algorithms.

MLA Citation

Ying, Mingsheng. Model Checking Quantum Systems: Principles and Algorithms.

Warning: These citations may not always be 100% accurate.