A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gilles Bernot, Jean-Paul Comet, Olivier F. Roux. A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network. In Olivier F. Roux, Jérémie Bourdon, editors, Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings. Volume 9308 of Lecture Notes in Computer Science, pages 8-12, Springer, 2015. [doi]

This author has not been identified. Look up 'Gilles Bernot' in GoogleThis author has not been identified. Look up 'Jean-Paul Comet' in GoogleThis author has not been identified. Look up 'Olivier F. Roux' in Google

runs on WebDSL