|
|
 |
|
|
Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in Escherichia coli |
|
 |
|
|
|
|
|
|
|
G. Batt, D. Ropers, H. de Jong, J. Geiselmann, R. Mateescu, M. Page and D. Schneider |
|
|
|
|
| |
| Workshop on Computation of Biochemical Pathways and Genetic Networks, September 2005, Heidelberg, Germany |
|
|
|
 |
