Computing Reachable States for Nonlinear Biological Models.

Thao Dang Colas Le Guernic Oded Maler Computing Reachable States for Nonlinear Biological Models. 126-141 2009 CMSB http://dx.doi.org/10.1007/978-3-642-03845-7_9 conf/cmsb/2009 db/conf/cmsb/cmsb2009.html#DangGM09