Mateescu, Radu

1 publications

IJCAI 2005 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