Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider. Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach. In Leslie Pack Kaelbling, Alessandro Saffiotti, editors, IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005. pages 370-375, Professional Book Center, 2005. [doi]
Abstract is missing.