Old Web
English
Sign In
Acemap
>
Paper
>
基于DNA计算的计算树逻辑模型检测方法研究进展 (Survey on DNA-computing Based Methods of Computation Tree Logic Model Checking).
基于DNA计算的计算树逻辑模型检测方法研究进展 (Survey on DNA-computing Based Methods of Computation Tree Logic Model Checking).
2019
Yingjie Han
Qinglei Zhou
Weijun Zhu
Keywords:
Model checking
Theoretical computer science
Computation tree logic
DNA computing
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]