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

DOI10.1007/978-981-15-3415-7_10OpenAlexW3014363642MaRDI QIDQ5117832FDOQ5117832

Author name not available (Why is that?), Yingjie Han, Author name not available (Why is that?), Qinglei Zhou

Publication date: 26 August 2020

Published in: Communications in Computer and Information Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-981-15-3415-7_10

zbMATH Keywords

DNA computingmodel checkingcomputation tree logicpast-time operator

Mathematics Subject Classification ID

Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

This page was built for publication: Exploring Computation Tree Logic with Past-Time Operator Model Checking Using DNA Computing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5117832)