D.: Qualitative analysis and verification of hybrid models of genetic regulatory networks: Nutritional stress response in Escherichia coli (2005)

by G Batt, D Ropers, H de Jong, J Geiselmann, M Page, Schneider
Venue:Proc. Hybrid Systems: Computation and Control (HSCC 2005). Volume 3414 of LNCS