Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in <i>Escherichia coli</i>.

Grégory Batt Delphine Ropers Hidde de Jong Johannes Geiselmann Radu Mateescu Michel Page Dominique Schneider Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in <i>Escherichia coli</i>. 19-28 2005 conf/ismb/2005 ISMB (Supplement of Bioinformatics) http://dx.doi.org/10.1093/bioinformatics/bti1048 db/conf/ismb/ismb2005.html#BattRJGMPS05