Skip to main content

1 article related to "Symbolic Model Checking"

No matches to your query could be found. Try another search term.
No matches to your query could be found. Try another search term.
No matches to your query could be found. Try another search term.
No matches to your query could be found. Try another search term.
No matches to your query could be found. Try another search term.

Articles

Original Research

Published on 28 Jan 2015

Model Checking to Assess T-Helper Cell Plasticity

in Computational Genomics

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

Frontiers in Bioengineering and Biotechnology

doi 10.3389/fbioe.2014.00086

12,745 views
79 citations