TY  - RPRT
TI  - Proofs for an Abstraction of Continuous Dynamical Systems Utilizing Lyapunov Functions
AU  - Christoffer Sloth
AU  - Rafael Wisniewski
PY  - 2010
UR  - https://arxiv.org/abs/1008.3222
ID  - 1008.3222
ER  -