清华大学计算机系量子软件研究中心
清华大学计算机系量子软件研究中心
新闻动态
团队成员
学术活动
论文发表
Ernst Moritz Hahn
最新发表
Yuan Feng
,
Ernst Moritz Hahn
,
Andrea Turrini
,
Lijun Zhang
(2015).
QPMC: A Model Checker for Quantum Programs and Protocols
.
FM 2015: Formal Methods
.
引用
引用
×