Communication Dans Un Congrès
Année : 2013
Jean-Paul Comet : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01282935
Soumis le : vendredi 4 mars 2016-16:11:44
Dernière modification le : lundi 26 février 2024-11:22:07
Dates et versions
Identifiants
- HAL Id : hal-01282935 , version 1
Citer
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. ⟨hal-01282935⟩
Collections
173
Consultations
0
Téléchargements