TY  - RPRT
TI  - Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods
AU  - Olivier Bouissou
AU  - Alexandre Chapoutot
AU  - Samuel Mimram
PY  - 2013
UR  - https://arxiv.org/abs/1306.2305
ID  - 1306.2305
ER  -