TY  - RPRT
TI  - Incremental, Inductive Coverability
AU  - Johannes Kloos
AU  - Rupak Majumdar
AU  - Filip Niksic
AU  - Ruzica Piskac
PY  - 2013
UR  - https://arxiv.org/abs/1301.7321
ID  - 1301.7321
ER  -