MOLECULAR MODEL CHECKING

DOI10.1142/S0129054106004078zbMATH Open1096.68090MaRDI QIDQ5484899FDOQ5484899

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)

Recommendations

• Modelling, simulation and verification of biomolecular systems
• scientific article; zbMATH DE number 953088
• Modeling of molecular networks
• Publication:3032115
• 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

zbMATH Keywords

model checkingformal verificationbiomolecular computationDNA algorithm

Mathematics Subject Classification ID

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

Cited In (5)

• DNA Computing
• Title not available (Why is that?)
• DNA Computing
• A model in {\(\kappa\)} for DNA addition
• Title not available (Why is that?)

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)