Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

TUM-Logo

Die bibliographische Datenbank LEABib


SuchenListe der JournaleListe der SerienListe der KonferenzenAusgewählte Publikationen Ausgewählte Publikationen Hilfe Hilfe
 
Suche: Author="Schneider, Dominique"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in Escherichia coli Publikation auswählen
Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider

Proceedings of the 13th International Conference on Intelligent Systems for Molecular Biology, ISMB'2005 (Detroit, MI, USA, June 25-29, 2005)
Bioinformatics 21 (S1), 2005, pp. 19-28

Publisher:  Oxford University Press
 
URL:   http://bioinformatics.oxfordjournals.org/cgi/content/abstract/21/suppl_1/i19