TY  - BOOK
AU  - Ying, Mingsheng
TI  - Model Checking Quantum Systems
SN  - 9781108484305
U1  - 006.3843 
PY  - 2021///
PB  - Cambridge Univ Press
KW  - Computer Science
ER  -