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 Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach. 370-375 2005 conf/ijcai/2005 IJCAI http://www.ijcai.org/papers/1133.pdf db/conf/ijcai/ijcai2005.html#BattRJGMPS05