Symbolic Model Checking of Biochemical Networks. - Nathalie Chabrier; François Fages (CMSB, 2003)

"Model Checking" symbolique de réseaux bio-chimiques. - Nathalie Chabrier; François Fages (JFPLC, 2003)

"Model Checking" symbolique de réseaux biochimiques. - Nathalie Chabrier; François Fages (Tech. Sci. Informatiques, 2003)