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]
@article{YuanTPMWS12, title = {Probabilistic Model Checking of the PDGF Signaling Pathway}, author = {Qixia Yuan and Panuwat Trairatphisan and Jun Pang and Sjouke Mauw and Monique Wiesinger and Thomas Sauter}, year = {2012}, doi = {10.1007/978-3-642-35524-0_7}, url = {http://dx.doi.org/10.1007/978-3-642-35524-0_7}, researchr = {https://researchr.org/publication/YuanTPMWS12}, cites = {0}, citedby = {0}, journal = {Transactions on Computational Systems Biology}, volume = {14}, pages = {151-180}, }