TY  - RPRT
TI  - Taming Past LTL and Flat Counter Systems
AU  - Stéphane Demri
AU  - Amit Kumar Dhar
AU  - Arnaud sangnier
PY  - 2013
UR  - https://arxiv.org/abs/1205.6584
ID  - 1205.6584
ER  -