|
[KH12]
K. Kobayashi and K. Hiraishi.
Symbolic approach to verification and control of deterministic/probabilistic Boolean networks.
IET Systems Biology, 6(6), pages 215-222.
2012.
[bib]
[Applies PRISM to the analysis of probabilistic Boolean networks, using an apoptosis network and a WNT5A network as examples.]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|