289 citations · 415 across the 5 of their papers we have counts for
1 paper · 1 filter
Qixia Yuan, Jun Pang, Sjouke Mauw +3
In this paper, we apply the probabilistic model checker PRISM to the analysis of a biological system -- the Platelet-Derived Growth Factor (PDGF) signaling pathway, demonstrating i…