Published 2005
| Version v1
Conference paper
Formal methods from computer science to treat temporal properties of biological regulatory networks, applied to mucus production in Pseudomonas aeruginosa
Contributors
Others:
- Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S) ; Université Nice Sophia Antipolis (1965 - 2019) (UNS) ; COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)
- Informatique, Biologie Intégrative et Systèmes Complexes (IBISC) ; Université d'Évry-Val-d'Essonne (UEVE)-Centre National de la Recherche Scientifique (CNRS)
- Laboratoire de Microbiologie du Froid – Signaux et Micro-Environnement (LMDF-SME) ; Université de Rouen Normandie (UNIROUEN) ; Normandie Université (NU)-Normandie Université (NU)
Additional details
Identifiers
- URL
- https://hal.archives-ouvertes.fr/hal-00341999
- URN
- urn:oai:HAL:hal-00341999v1
Origin repository
- Origin repository
- UNICA