Exploring Computation Tree Logic with Past-Time Operator Model Checking Using DNA Computing. - Ying-Jie Han; Xiao-Fei Nan; Shao-Huan Ban; Qing-Lei Zhou (BIC-TA (2), 2019)