A Hoare logic for gene regulatory networks

Type de document :
Communication dans un congrès
2nd Workshop on Computational Structural Biology: Integrative Approaches for Modeling Biomolecular Complexes, May 2013, Nice, France. 2013


https://hal.archives-ouvertes.fr/hal-01282935
Contributeur : Jean-Paul Comet <>
Soumis le : vendredi 4 mars 2016 - 16:11:44
Dernière modification le : samedi 5 mars 2016 - 01:07:06

Identifiants

  • HAL Id : hal-01282935, version 1

Collections

Citation

Jean-Paul Comet, Gilles Bernot. A Hoare logic for gene regulatory networks. 2nd Workshop on Computational Structural Biology: Integrative Approaches for Modeling Biomolecular Complexes, May 2013, Nice, France. 2013. <hal-01282935>

Partager

Métriques

Consultations de la notice

22