Model-Checking Quantum Systemsby Mingsheng Ying, Yuan FengMathematicsWriting a summary for young readers…For young readersBook data: Open Library