Sucheendra K. Palaniappan, Benjamin M. Gyori, Bing Liu 0013, David Hsu, P. S. Thiagarajan. Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models. In Ashutosh Gupta, Thomas A. Henzinger, editors, Computational Methods in Systems Biology - 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings. Volume 8130 of Lecture Notes in Computer Science, pages 120-134, Springer, 2013. [doi]
Abstract is missing.