Computational Methods in Systems Biology : 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings - Ashutosh Gupta, Thomas A. Henzinger ((Lecture Notes in Computer Science))