Login / Signup
Nathalie Chabrier
Publication Activity (10 Years)
Years Active: 2003-2003
Publications (10 Years): 0
</>
Publications
</>
Nathalie Chabrier
,
François Fages
"Model Checking" symbolique de réseaux biochimiques.
Tech. Sci. Informatiques
22 (1) (2003)
Nathalie Chabrier
,
François Fages
"Model Checking" symbolique de réseaux bio-chimiques.
JFPLC
(2003)
Nathalie Chabrier
,
François Fages
Symbolic Model Checking of Biochemical Networks.
CMSB
(2003)