Ying-Jie Han, Xiao-Fei Nan, Shao-Huan Ban, Qing-Lei Zhou. Exploring Computation Tree Logic with Past-Time Operator Model Checking Using DNA Computing. In Linqiang Pan, Jing Liang 0005, Boyang Qu, editors, Bio-inspired Computing: Theories and Applications - 14th International Conference, BIC-TA 2019, Zhengzhou, China, November 22-25, 2019, Revised Selected Papers, Part II. Volume 1160 of Communications in Computer and Information Science, pages 115-133, Springer, 2019. [doi]
No reviews for this publication, yet.