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

DOI10.1007/978-981-15-3415-7_10MaRDI QIDQ5117832zbMATH OpenOpenAlexFDO

Authors Yingjie Han, 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)