Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in Escherichia coli (2005)
by
Grégory Batt
,
Delphine Ropers
,
Hidde De Jong
,
Johannes Geiselmann
,
Radu Mateescu
,
Dominique Schneider
| Venue: | Bioinformatics |
| Citations: | 34 - 14 self |
BibTeX
@ARTICLE{Batt05validationof,
author = {Grégory Batt and Delphine Ropers and Hidde De Jong and Johannes Geiselmann and Radu Mateescu and Dominique Schneider},
title = {Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in Escherichia coli},
journal = {Bioinformatics},
year = {2005},
volume = {21},
pages = {19--28}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The functioning and development of living organisms is controlled by large and complex networks of genes, proteins, small molecules, and their mutual interactions, so-called genetic regulatory networks. In order to gain an understanding of how the behavior of an organism – e.g., the response of a
