Nathalie Chabrier

	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

1

François Fages

[1] [2] [3]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page