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

Grgory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider

Browse the full IJCAI paper archive.