%0 Journal Article %1 journals/bioinformatics/BattPCGMJ10 %A Batt, Grégory %A Page, Michel %A Cantone, Irene %A Goessler, Gregor %A Monteiro, Pedro T. %A de Jong, Hidde %D 2010 %J Bioinform. %K %N 18 %T Efficient parameter search for qualitative models of regulatory networks using symbolic model checking. %U http://dblp.uni-trier.de/db/journals/bioinformatics/bioinformatics26.html#BattPCGMJ10 %V 26

@article{journals/bioinformatics/BattPCGMJ10, added-at = {2023-12-13T00:12:55.000+0100}, author = {Batt, Grégory and Page, Michel and Cantone, Irene and Goessler, Gregor and Monteiro, Pedro T. and de Jong, Hidde}, biburl = {https://www.bibsonomy.org/bibtex/290e38f09121b581e8059b0a06d1623c1/admin}, ee = {https://www.wikidata.org/entity/Q42429942}, interhash = {60548fdffac8ba6fb3c5b49aea045a4d}, intrahash = {90e38f09121b581e8059b0a06d1623c1}, journal = {Bioinform.}, keywords = {}, number = 18, timestamp = {2023-12-13T00:12:55.000+0100}, title = {Efficient parameter search for qualitative models of regulatory networks using symbolic model checking.}, url = {http://dblp.uni-trier.de/db/journals/bioinformatics/bioinformatics26.html#BattPCGMJ10}, volume = 26, year = 2010 }