@InProceedings{KH10,
author={K. Kobayashi and K. Hiraishi},
title={Reachability analysis of probabilistic Boolean networks using model checking},
booktitle={Proc. SICE Annual Conference 2010},
year={2010},

editor={},
pages={829--832},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}