Computational Modeling and Verification of Signaling Pathways in Cancer

DOI10.1007/978-3-642-28067-2_7zbMath1349.92074OpenAlexW1563766529MaRDI QIDQ2889706

Anvesh Komuravelli, Paolo Zuliani, James R. Faeder, Haijun Gong, Edmund M. Clarke

Publication date: 8 June 2012

Published in: Algebraic and Numeric Biology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28067-2_7

zbMATH Keywords

verificationmodel checkingcancerHMGB1

Mathematics Subject Classification ID

Medical applications (general) (92C50) Computational methods for problems pertaining to biology (92-08)

Related Items (3)

A proof theoretic view of spatial and temporal dependencies in biochemical systems ⋮ Process calculi for biological processes ⋮ Verification of spatial and temporal modalities in biochemical systems

This page was built for publication: Computational Modeling and Verification of Signaling Pathways in Cancer