MOLECULAR MODEL CHECKING

DOI10.1142/S0129054106004078zbMATH Open1096.68090MaRDI QIDQ5484899

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)

zbMATH Keywords

formal verificationmodel checkingbiomolecular computationDNA algorithm

Mathematics Subject Classification ID

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

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Modelling in molecular biology 👍 👎
• Molecular dynamics 👍 👎
• Modeling of molecular networks 👍 👎
• Multi-scale Molecular Modeling of Chemical Reactivity 👍 👎

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)