A Hoare logic for gene regulatory networks

Jean-Paul Comet 1 Gilles Bernot 1
1 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe BIOINFO
Laboratoire I3S - MDSC - Modèles Discrets pour les Systèmes Complexes
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
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01282935
Contributeur : Jean-Paul Comet <>
Soumis le : vendredi 4 mars 2016 - 16:11:44
Dernière modification le : lundi 5 novembre 2018 - 15:48:02

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

272