Model checking to assess T-helper cell plasticity
Wassim Abou-Jaoudé
(1, 2)
,
Pedro T. Monteiro
(3)
,
Aurélien Naldi
(4)
,
Maximilien Grandclaudon
(5)
,
Vassili Soumelis
(5)
,
Claudine Chaouiya
(6)
,
Denis Thieffry
(2)
1
ANTIQUE -
Analyse Statique par Interprétation Abstraite
2 IBENS - Institut de biologie de l'ENS Paris
3 INESC-ID - Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa
4 CIG - Center for Integrative Genomics - Institute of Bioinformatics, Génopode
5 Laboratoire d'Immunologie Clinique
6 IGC - Instituto Gulbenkian de Ciência [Oeiras]
2 IBENS - Institut de biologie de l'ENS Paris
3 INESC-ID - Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa
4 CIG - Center for Integrative Genomics - Institute of Bioinformatics, Génopode
5 Laboratoire d'Immunologie Clinique
6 IGC - Instituto Gulbenkian de Ciência [Oeiras]
Aurélien Naldi
- Fonction : Auteur
- PersonId : 742754
- IdHAL : aurelien-naldi
- ORCID : 0000-0002-6495-2655
- IdRef : 151785430
Vassili Soumelis
- Fonction : Auteur
- PersonId : 764556
- ORCID : 0000-0003-1849-9834
- IdRef : 086789104
Claudine Chaouiya
- Fonction : Auteur
- PersonId : 9138
- IdHAL : claudine-chaouiya
- ORCID : 0000-0003-2350-0756
- IdRef : 151786224