@article{DLM1,
title = { Computing reachable states for nonlinear biological models },
author = {Dang, Thao and Le Guernic, Colas and Maler, Oded},
month = {April},
year = {2011},
journal = {Theoretical Computer Science},
team = {axe_Mohytos, TEMPO},
}