Nathalie Chabrier

According to our database, Nathalie Chabrier authored at least 3 papers in 2003.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2003

"Model Checking" symbolique de réseaux biochimiques.

Nathalie Chabrier, François Fages

Tech. Sci. Informatiques, 2003

"Model Checking" symbolique de réseaux bio-chimiques.

Nathalie Chabrier, François Fages

Proceedings of the Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), 2003

Symbolic Model Checking of Biochemical Networks.

Nathalie Chabrier, François Fages

Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003