TY  - RPRT
TI  - Formal Verification of Control Systems Properties with Theorem Proving
AU  - Dejanira Araiza-Illan
AU  - Kerstin Eder
AU  - Arthur Richards
PY  - 2014
DO  - 10.1109/control.2014.6915147
UR  - https://arxiv.org/abs/1405.7615
ID  - 1405.7615
ER  -