The following publications are possibly variants of this publication:
- Model Checking Liveness Properties of Genetic Regulatory NetworksGrégory Batt, Calin Belta, Ron Weiss. TACAS 2007: 323-338 [doi]
- Model Checking Genetic Regulatory Networks with Parameter UncertaintyGrégory Batt, Calin Belta, Ron Weiss. hybrid 2007: 61-75 [doi]
- Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking ApproachGrégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider. IJCAI 2005: 370-375 [doi]
- Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in ::::Escherichia coli::::Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider. ismb 2005: 19-28 [doi]
- Efficient parameter search for qualitative models of regulatory networks using symbolic model checkingGrégory Batt, Michel Page, Irene Cantone, Gregor Goessler, Pedro T. Monteiro, Hidde de Jong. bioinformatics, 26(18), 2010. [doi]