Formal methods from computer science to treat temporal properties of biological regulatory networks, applied to mucus production in Pseudomonas aeruginosa - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

Formal methods from computer science to treat temporal properties of biological regulatory networks, applied to mucus production in Pseudomonas aeruginosa

Domaines

Langage de programmation [cs.PL] Web Génie logiciel [cs.SE] Système multi-agents [cs.MA]

Frédéric Davesne  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00343070

Soumis le : samedi 29 novembre 2008-00:31:17

Dernière modification le : lundi 22 avril 2024-16:24:16

Fichier non déposé

Dates et versions

hal-00343070 , version 1 (29-11-2008)

Identifiants

  • HAL Id : hal-00343070 , version 1

Citer

Gilles Bernot, Jean-Paul Comet, Janine Guespin. Formal methods from computer science to treat temporal properties of biological regulatory networks, applied to mucus production in Pseudomonas aeruginosa. Symposium Modeling approaches in Systems Biology, Physiology, and Pathophysiology (Futuroscope), 2005, Poitiers, France. ⟨hal-00343070⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UNIV-EVRY IBISC COMUE-NORMANDIE UNIROUEN
46 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More