TY  - RPRT
TI  - Proving Non-Termination via Loop Acceleration
AU  - Florian Frohn
AU  - Jürgen Giesl
PY  - 2019
UR  - https://arxiv.org/abs/1905.11187
ID  - 1905.11187
ER  -