| |
| 2003 | ||
|---|---|---|
| 3 | EE | Nathalie Chabrier, François Fages: Symbolic Model Checking of Biochemical Networks. CMSB 2003: 149-162 |
| 2 | Nathalie Chabrier, François Fages: "Model Checking" symbolique de réseaux bio-chimiques. JFPLC 2003: 155-168 | |
| 1 | EE | Nathalie Chabrier, François Fages: "Model Checking" symbolique de réseaux biochimiques. Technique et Science Informatiques 22(1): 155-168 (2003) |
| 1 | François Fages | [1] [2] [3] |