@article{DLM11,
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 = {TEMPO},
}
