@inproceedings{ijcai2005p134,
  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 = {Proceedings of the Nineteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-05}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  pages     = {370--374},
  year      = {2005},
  url       = {https://ijcai.org/proceedings/2005/134},
}