@article {237,
	title = {Computational verification of large logical models - application to  the prediction of T cell response to checkpoint inhibitors},
	year = {Submitted},
	author = {C{\'e}line Hernadez and Naldi, Aur{\'e}lien and Thomas-Chollier, Morgane and Thieffry, Denis}
}
