Login / Signup
Linfeng Jiao
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Formal Verification
Computation Tree Logic
Dna Computing
Satisfiability Problem
Top Venues
BIC-TA
</>
Publications
</>
Yingjie Han
,
Qinglei Zhou
,
Linfeng Jiao
,
Kai Nie
,
Chunyan Zhang
,
Weijun Zhu
Model Checking for Computation Tree Logic with Past Based on DNA Computing.
BIC-TA
(2017)