@article{YTPMMS12,
  author        = {Q. Yuan and P. Trairatphisan and J. Pang and S. Mauw and M. Wiesinger and T. Sauter},
  title         = {Probabilistic model checking of the {PDGF} signaling pathway},
  journal       = {Transactions on Computational Systems Biology},
  year          = {2012},
  series        = {Lecture Notes in Bioinformatics},
  volume        = {7625},
  pages         = {151--180},
  url           = {http://satoss.uni.lu/jun/papers/TCSB12.pdf},
  ulkey         = {Yuan:9174}
}