@inproceedings{DLM9,
title = {Computing Reachable States for Nonlinear Biological Models },
author = {Dang, Thao and Le Guernic, Colas and Maler, Oded},
year = {2009},
booktitle = {Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings},
pages = {126-141},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5688},
team = {axe_Mohytos, TEMPO},
}