%0 Journal Article
%T Dynamical modeling and analysis of large cellular regulatory networks
%+ Institut de mathématiques de Luminy (IML)
%+ Instituto Gulbenkian de Ciência [Oeiras] (IGC)
%+ Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa (INESC-ID)
%+ Center for Integrative Genomics - Institute of Bioinformatics, Génopode (CIG)
%+ Institut de Mathématiques de Marseille (I2M)
%+ Institut de biologie de l'ENS Paris (IBENS)
%A Bérenguier, D
%A Chaouiya, Claudine
%A Monteiro, Pedro T.
%A Naldi, A
%A Remy, Élisabeth
%A Thieffry, Denis
%A Tichit, Laurent
%< avec comité de lecture
%@ 1054-1500
%J Chaos: An Interdisciplinary Journal of Nonlinear Science
%I American Institute of Physics
%V 23
%N 2
%8 2013
%D 2013
%R 10.1063/1.4809783
%K logical modeling
%K discrete attractors
%K T-helper cell differentiation
%K state transition graph
%K model reduction
%K model-checking
%Z Computer Science [cs]/Bioinformatics [q-bio.QM]Journal articles
%G English
%2 https://hal.science/hal-01261849/document
%2 https://hal.science/hal-01261849/file/revised_version_Berenguier_etal.pdf
%L hal-01261849
%U https://hal.science/hal-01261849
%~ INSERM
%~ ENS-PARIS
%~ CNRS
%~ UNIV-AMU
%~ EC-MARSEILLE
%~ INSMI
%~ IML
%~ I2M
%~ I2M-2014-
%~ PSL
%~ ENS-PSL