TY  - RPRT
TI  - Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended Version)
AU  - Parosh Aziz Abdulla
AU  - C. Aiswarya
AU  - Mohamed Faouzi Atig
AU  - Marco Montali
AU  - Othmane Rezine
PY  - 2016
UR  - https://arxiv.org/abs/1604.03413
ID  - 1604.03413
ER  -