Nathalie Chabrier

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2003

3 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 Nathalie Chabrier, François Fages: "Model Checking" symbolique de réseaux biochimiques. Technique et Science Informatiques 22(1): 155-168 (2003)

	2003
3		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		Nathalie Chabrier, François Fages: "Model Checking" symbolique de réseaux biochimiques. Technique et Science Informatiques 22(1): 155-168 (2003)

Coauthor Index