Exploring Computation Tree Logic with Past-Time Operator Model Checking Using DNA Computing
Book chapter (April 2020)
The most recent citing publications are shown below. View all 9 publications that cite this research output on Dimensions.
Book chapter (April 2020)
Article in BioMed Research International (September 2017)
Article in BioChip Journal (March 2013)