Model Checking to Assess T-Helper Cell Plasticity

Authors

Wassim Abou-Jaoudé, Pedro T. Monteiro, Aurélien Naldi, Maximilien Grandclaudon, Vassili Soumelis, Claudine Chaouiya, Denis Thieffry