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

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