Reachability analysis of probabilistic Boolean networks using model checking

[KH10] K. Kobayashi and K. Hiraishi. Reachability analysis of probabilistic Boolean networks using model checking. In Proc. SICE Annual Conference 2010, pages 829-832. 2010. [bib]

Downloads: $bib$ bib

Links: [Google] [Google Scholar]

Publications

Selected publications
PRISM publications
PRISM bibliography
External publications
References
Search