Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in

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

Browse the full ISMB paper archive.