Thao Dang, Colas Le Guernic, Oded Maler. Computing Reachable States for Nonlinear Biological Models. In Pierpaolo Degano, Roberto Gorrieri, editors, Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings. Volume 5688 of Lecture Notes in Computer Science, pages 126-141, Springer, 2009. [doi]
Abstract is missing.