Probabilistic Model Checking of the PDGF Signaling Pathway

Qixia Yuan, Panuwat Trairatphisan, Jun Pang, Sjouke Mauw, Monique Wiesinger, Thomas Sauter. Probabilistic Model Checking of the PDGF Signaling Pathway. Transactions on Computational Systems Biology, 14:151-180, 2012. [doi]

Abstract

Abstract is missing.