@misc{indiciae0c370d91136c, title = {Computational verification of large logical models - application to the prediction of T cell response to checkpoint inhibitors}, author = {Hernandez, C. and Thomas-Chollier, M. and Naldi, A. and Thieffry, D.}, year = {2020}, doi = {10.1101/2020.05.01.073379}, url = {https://www.biorxiv.org/content/10.1101/2020.05.01.073379v1}, note = {Source identifier: 10.1101/2020.05.01.073379} }