Computing Reachable States for Nonlinear Biological Models

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.