MIRACH: efficient model checker for quantitative biological pathway models

Chuan Hock Koh, Masao Nagasaki, Ayumu Saito, Chen Li, Limsoon Wong, Satoru Miyano
PDF DOI
Type
Journal article
Publication
Bioinformatics