TY  - RPRT
TI  - Satisfiability Modulo ODEs
AU  - Sicun Gao
AU  - Soonho Kong
AU  - Edmund Clarke
PY  - 2013
UR  - https://arxiv.org/abs/1310.8278
ID  - 1310.8278
ER  -