The Helix research group
Research themes
Work in progress and results
Publications
Software and databases
News from Helix
Publications
Home page
Site map Mail to Helix
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
 
Extended abstract of the ISMB paper.
paper - 100.4 ko
paper
download
(PDF, 100.4 ko)
presentation - 1.3 Mo
presentation
download
(PDF, 1.3 Mo)
    Top of page   Home page  Prepare to print