Evan Koh, PhD
Home
Academic Profile
Experience
Publications
Projects
Stories
MIRACH: efficient model checker for quantitative biological pathway models
Chuan Hock Koh
,
Masao Nagasaki
,
Ayumu Saito
,
Chen Li
,
Limsoon Wong
,
Satoru Miyano
January 2011
PDF
DOI
Type
Journal article
Publication
Bioinformatics
Cite
×