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]
Abstract is missing.