2 citations · 2 across the 1 of their papers we have counts for
1 paper
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…