A Hoare logic for gene regulatory networks - Laboratoire d'Informatique, Signaux et Systèmes de Sophia-Antipolis Accéder directement au contenu
Communication Dans Un Congrès Année : 2013
Fichier non déposé

Dates et versions

hal-01282935 , version 1 (04-03-2016)

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⟩
173 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More