Systems BiologyFrontiers in Bioengineering and BiotechnologyPeer-reviewed
Model checking to assess T-helper cell plasticity
Wassim Abou-Jaoudé, Pedro Monteiro, Aurélien Naldi…·Denis Thieffry
The paper uses symbolic model checking to analyze T-helper cell plasticity by examining attractor switches in a logical model of their differentiation network.
DOI 10.3389/fbioe.2014.00086