Model Checking Temporal Logic Formulas Using Sticker Automata

As an important complex problem, the temporal logic model checking problem is still far from being fully resolved under the circumstance of DNA computing, especially Computation Tree Logic (CTL), Interval Temporal Logic (ITL), and Projection Temporal Logic (PTL), because there is still a lack of app...

Descripción completa

Detalles Bibliográficos
Autores principales: Zhu, Weijun, Feng, Changwei, Wu, Huanmei
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Hindawi 2017
Materias:
Research Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5651143/
https://www.ncbi.nlm.nih.gov/pubmed/29119114
http://dx.doi.org/10.1155/2017/7941845

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5651143/
https://www.ncbi.nlm.nih.gov/pubmed/29119114
http://dx.doi.org/10.1155/2017/7941845

Ejemplares similares