1
TITLE: Efficient parameter search for qualitative models of regulatory networks using symbolic model checking  Full Text
AUTHORS: Gregory Batt; Michel Page; Irene Cantone; Gregor Goessler; Pedro Monteiro ; Hidde de Jong;
PUBLISHED: 2010, SOURCE: 9th European Conference on Computational Biology in BIOINFORMATICS, VOLUME: 26, ISSUE: 18
INDEXED IN: Scopus WOS CrossRef