TY  - RPRT
TI  - Efficient parameter search for qualitative models of regulatory networks using symbolic model checking
AU  - Grégory Batt
AU  - Michel Page
AU  - Irene Cantone
AU  - Gregor Goessler
AU  - Pedro T. Monteiro
AU  - Hidde De Jong
PY  - 2010
UR  - https://arxiv.org/abs/1005.2107
ID  - 1005.2107
ER  -