Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}