Statistical model checking in biolab: Applications to the automated analysis of t-cell receptor signaling pathway

Citation:

E. M. Clarke, J. R. Faeder, C. J. Langmead, L. A. Harris, S. K. Jha, and A. Legay, “ Statistical model checking in biolab: Applications to the automated analysis of t-cell receptor signaling pathway ,” in International Conference on Computational Methods in Systems Biology, 2008, pp. 231–250. Copy at http://www.tinyurl.com/ybzq995h
2008_cmsb_underlined.pdf391 KB
Last updated on 06/12/2017