External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Proof of Theorems on Genetic Regulatory Networks

Maxime Dénès, Benjamin Lesage, Yves Bertot, Adrien Richard. Formal Proof of Theorems on Genetic Regulatory Networks. In Stephen M. Watt, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Daniela Zaharie, editors, 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009. pages 69-76, IEEE Computer Society, 2009. [doi]

Authors

Maxime Dénès

This author has not been identified. Look up 'Maxime Dénès' in Google

Benjamin Lesage

This author has not been identified. Look up 'Benjamin Lesage' in Google

Yves Bertot

This author has not been identified. Look up 'Yves Bertot' in Google

Adrien Richard

This author has not been identified. Look up 'Adrien Richard' in Google
runs on