MIRACH: efficient model checker for quantitative biological pathway models

Chuan Hock Koh, Masao Nagasaki, Ayumu Saito, Chen Li 0007, Limsoon Wong, Satoru Miyano. MIRACH: efficient model checker for quantitative biological pathway models. Bioinformatics, 27(5):734-735, 2011. [doi]

Abstract

Abstract is missing.