MOLECULAR MODEL CHECKING

DOI10.1142/S0129054106004078MaRDI QIDQ5484899zbMATH OpenFDO

Authors Kristina D. Hager, Jay H. Konieczka, E. Allen Emerson

Publication date 21 August 2006

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/S0129054106004078

zbMATH Keywords

biomolecular computationDNA algorithmformal verificationmodel checking

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Modelling, simulation and verification of biomolecular systems
• scientific article; zbMATH DE number 953088
• Modeling of molecular networks
• scientific article; zbMATH DE number 4130220
• Modelling in molecular biology
• Molecular modeling by machine learning
• Simulation and verfication of the biomolecular systems
• Multi-scale Molecular Modeling of Chemical Reactivity
• Molecular dynamics
• scientific article; zbMATH DE number 5184489

Cited in

(6)

• A model in {\(\kappa\)} for DNA addition
• scientific article; zbMATH DE number 1342114 (Why is no real title available?)
• scientific article; zbMATH DE number 2013803 (Why is no real title available?)
• scientific article; zbMATH DE number 2087002 (Why is no real title available?)
• DNA Computing
• DNA Computing

This page was built for publication: MOLECULAR MODEL CHECKING

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