论文信息 - BIOINFORMATICS Efﬁcient parameter search for qualitative models of regulatory networks using symbolic model checking - 字舞流文

BIOINFORMATICS Efﬁcient parameter search for qualitative models of regulatory networks using symbolic model checking

Pedro T. Monteiro | H. D. Jong | M. Page | Irene Cantone | G. Batt | Gregor Goessler | Le Chesnay | Grégory Batt