Model Checking for Computation Tree Logic with Past Based on DNA Computing. - Yingjie Han; Qinglei Zhou; Linfeng Jiao; Kai Nie; Chunyan Zhang; Weijun Zhu (BIC-TA, 2017)