Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Michel Page, Dominique Schneider. Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in. In Manfred Morari, Lothar Thiele, editors, Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings. Volume 3414 of Lecture Notes in Computer Science, pages 134-150, Springer, 2005. [doi]

This author has not been identified. Look up 'Grégory Batt' in GoogleThis author has not been identified. Look up 'Delphine Ropers' in GoogleThis author has not been identified. Look up 'Hidde de Jong' in GoogleThis author has not been identified. Look up 'Johannes Geiselmann' in GoogleThis author has not been identified. Look up 'Michel Page' in GoogleThis author has not been identified. Look up 'Dominique Schneider' in Google

runs on WebDSL