Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in E.Coli. (2005)

by G Batt, D Ropers, H de Jong, J Geiselmann, R Mateescu, M Page, D Schneider
Venue:In Thirteenth International Conference on Intelligent Systems for Molecular Biology,