BibTeX
@inproceedings{DBLP:conf/ismb/BattRJGMPS05,
author = {Gr{\'e}gory Batt and
Delphine Ropers and
Hidde de Jong and
Johannes Geiselmann and
Radu Mateescu and
Michel Page and
Dominique Schneider},
title = {Validation of qualitative models of genetic regulatory networks
by model checking: analysis of the nutritional stress response
in {\it scherichia coli}},
booktitle = {ISMB (Supplement of Bioinformatics)},
year = {2005},
pages = {19-28},
ee = {http://dx.doi.org/10.1093/bioinformatics/bti1048},
crossref = {DBLP:conf/ismb/2005},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ismb/2005,
title = {Proceedings Thirteenth International Conference on Intelligent
Systems for Molecular Biology 2005, Detroit, MI, USA, 25-29
June 2005},
booktitle = {ISMB (Supplement of Bioinformatics)},
year = {2005},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2005-09-12 by Michael Ley (ley@uni-trier.de)