ML Anthology

Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach

Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider
IJCAI 2005 pp. 370-375
/ijcai/2005/batt2005ijcai-analysis/
PDF IJCAI Semantic Scholar

Cite

Text

Batt et al. "Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach." International Joint Conference on Artificial Intelligence, 2005.

Markdown

[Batt et al. "Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach." International Joint Conference on Artificial Intelligence, 2005.](https://mlanthology.org/ijcai/2005/batt2005ijcai-analysis/)

BibTeX

@inproceedings{batt2005ijcai-analysis,
  title     = {{Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach}},
  author    = {Batt, Grégory and Ropers, Delphine and de Jong, Hidde and Geiselmann, Johannes and Mateescu, Radu and Page, Michel and Schneider, Dominique},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2005},
  pages     = {370-375},
  url       = {https://mlanthology.org/ijcai/2005/batt2005ijcai-analysis/}
}