S.K. Palaniappan, B.M. Gyori, B. Liu, D. Hsu, and P.S. Thiagarajan. Statistical model checking based calibration and analysis of bio-pathway models. In Proc. Conf. on Computational Methods in Systems Biology, 2013.
BibTeX PDF