[CFCC11]
Mirlaine A Crepalde, Alessandra C Faria-Campos and Sérgio VA Campos.
Modeling and analysis of cell membrane systems with probabilistic model checking.
BMC Genomics, 12(Suppl 4)(S14).
2011.
[Analyses a sodium-potassium exchange pump using probabilistic model checking and PRISM.]
|
