Probabilistic Model Checking of the PDGF Signaling Pathway

DOI10.1007/978-3-642-35524-0_7zbMath1381.92033OpenAlexW2431536MaRDI QIDQ4912384

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

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

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

Related Items (1)

Probabilistic Model Checking of the PDGF Signaling Pathway

Uses Software

• PRISM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Probabilistic model checking of complex biological pathways
• Stochastic Model Checking
• Termination of Probabilistic Concurrent Program
• Probabilistic Model Checking of the PDGF Signaling Pathway
• Model-checking continuous-time Markov chains

This page was built for publication: Probabilistic Model Checking of the PDGF Signaling Pathway