Proceedings of the Annual Conference of the Institute of Systems, Control and Information Engineers
The 54th Annual Conference of the Institute of Systems, Control and Information Engineers
Session ID : F424
Conference information

Host: Institute of Systems, Control and Information Engineers

Reachability Analysis of Probabilistic Boolean Networks using Model Checking
*Koichi Kobayashi, Kunihiko Hiraishi
Author information
Keywords: probabilistic Boolean networks, reachability analysis, model checking
CONFERENCE PROCEEDINGS FREE ACCESS

Details
Download citation RIS

(compatible with EndNote, Reference Manager, ProCite, RefWorks)

BIB TEX

(compatible with BibDesk, LaTeX)

Text
How to download citation
Contact us
Abstract
[in Japanese]
Content from these authors
© 2010 The Institute of Systems, Control and Information Engineers
Previous article Next article
Favorites & Alerts

Recently viewed articles
Share this page
feedback
 Top