%0 Journal Article 
%F BattPCGMJ10
%A Batt, G.
%A Page, M.
%A Cantone, I.
%A Gössler, G.
%A Monteiro, P.T.
%A de Jong, H.
%T Efficient parameter search for qualitative models of regulatory networks using symbolic model checking
%J Bioinformatics
%V 26
%N 18
%D 2010