您当前的位置：
首页 >
文章列表页 >
几类非确定型量子程序的终止验证
几类非确定型量子程序的终止验证
Termination Verification of Some Kinks Nondeterministic Quantum Programs
- 电子学报 2016年44卷第12期 页码：2932-2938
DOI： 10.3969/j.issn.0372-2112.2016.12.017
移动端阅览
HTML全文
参考文献
出版信息
数据统计
278
浏览量
417
下载量
1
CSCD
文章被引用时，请邮件提醒。
提交
工具集
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
相关文章
低轨卫星通信系统面向安全通信的鲁棒资源分配算法
基于Hopfield网络“伪吸引子”与交替量子随机行走的抗攻击彩色图像加密方案
面向多核处理器的低级并行程序验证
基于切割的检测器生成与匹配算法
低轨卫星网络自适应随机接入研究
相关作者
徐勇军
鲁承壮
董燚恒
赵涛
周继华
傅晓建
宋昭阳
王一诺
相关机构
东南大学毫米波全国重点实验室
航天新通科技有限公司
重庆邮电大学通信与信息工程学院
青岛理工大学信息与控制工程学院
青岛理工大学信息与控制工程学院
