搜索筛选:
搜索耗时0.7299秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：朱维军, 周清雷, 张钦宪,,
来源：计算机学报 年份：2016
该文研究基于脱氧核糖核酸（Deoxyribonucleic Acid,DNA）计算的线性时序逻辑（Linear Temporal Logic,LTL）模型检测问题.为此,该文给出了使用粘贴自动机实现LTL模型检测的方法.首先...
[会议论文] 作者：任伟宏,张钦宪,朱晓燕,冯若,
来源：中国解剖学会2016年年会 年份：2016
...
相关搜索：
