Probabilistic model checking of the PDGF signaling pathway

DOI10.1007/978-3-642-35524-0_7MaRDI QIDQ4912384zbMATH OpenOpenAlexFDO

Authors Qixia Yuan, Panuwat Trairatphisan, Jun Pang, Sjouke Mauw, Monique Wiesinger, Thomas Sauter

Publication date 3 April 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

platelet-derived growth factorprobabilistic symbolic model checking

Mathematics Subject Classification ID

Computational methods for problems pertaining to biology (92-08) Biochemistry, molecular biology (92C40)

Recommendations

• Probabilistic model checking of complex biological pathways
• Formal methods for biochemical signalling pathways
• scientific article; zbMATH DE number 2087806
• scientific article; zbMATH DE number 2080040
• scientific article; zbMATH DE number 1950556

Cites work

• scientific article; zbMATH DE number 729460 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 3182410 (Why is no real title available?)
• Model-checking continuous-time Markov chains
• Probabilistic model checking of complex biological pathways
• Probabilistic model checking of the PDGF signaling pathway
• Stochastic model checking
• Termination of Probabilistic Concurrent Program

Cited in

(7)

• Probabilistic model checking of complex biological pathways
• Computational modeling and verification of signaling pathways in cancer
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• Formal methods for biochemical signalling pathways
• Probabilistic model checking of the PDGF signaling pathway
• A model and analysis of the AKAP scaffold
• Modular modelling of signalling pathways and their cross-talk

Describes a project that uses

Uses Software

• PRISM

This page was built for publication: Probabilistic model checking of the PDGF signaling pathway

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