Exploring Computation Tree Logic with Past-Time Operator Model Checking Using DNA Computing

von Han, Ying-Jie
Veröffentlicht in BIC-TA (14. : 2019 : Zheng zhou) Bio-inspired computing: theories and applications ; Part 2 (2020)