Ying, M. und Feng, Y. (2021) Model checking quantum systems : principles and algorithms [cd]. Cambridge: Cambridge University Press.
Chicago Manual of Style 17th edition (full note)Ying, Mingsheng, und Yuan Feng. Model checking quantum systems : principles and algorithms. Cd. Cambridge: Cambridge University Press, [2021?], Cambridge: Cambridge University Press, [2021?].
American Psychological Association 7th editionYing, M., & Feng, Y. (ca. 2021). Model checking quantum systems : principles and algorithms [Cd]. Cambridge University Press.
Modern Language Association 9th editionYing, M., und Y. Feng. Model checking quantum systems : principles and algorithms. cd, Cambridge University Press, 2021.
ISO-690 (author-date, Deutsch)YING, Mingsheng und Yuan FENG, 2021. Model checking quantum systems : principles and algorithms. Cambridge: Cambridge University Press. ISBN 9781108613323