模型检测量子系统：原理与算法 = Model checking quantum systems：principles and algorithms

Main Authors: 应明生 (著); 冯元 (著)
Group Author: 李绿周 (译); 李冠中 (译); 何键浩 (译)
Published: 机械工业出版社
Publication Dates: 2023
Call Number: O413/0262