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]

@inproceedings{DangGM09,
  title = {Computing Reachable States for Nonlinear Biological Models},
  author = {Thao Dang and Colas Le Guernic and Oded Maler},
  year = {2009},
  doi = {10.1007/978-3-642-03845-7_9},
  url = {http://dx.doi.org/10.1007/978-3-642-03845-7_9},
  researchr = {https://researchr.org/publication/DangGM09},
  cites = {0},
  citedby = {0},
  pages = {126-141},
  booktitle = {Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings},
  editor = {Pierpaolo Degano and Roberto Gorrieri},
  volume = {5688},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-03844-0},
}