%0 Journal Article %1 journals/corr/AbdullaAAMR16 %A Abdulla, Parosh Aziz %A Aiswarya, C. %A Atig, Mohamed Faouzi %A Montali, Marco %A Rezine, Othmane %D 2016 %J CoRR %K %T Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended Version). %U http://dblp.uni-trier.de/db/journals/corr/corr1604.html#AbdullaAAMR16 %V abs/1604.03413

@article{journals/corr/AbdullaAAMR16, added-at = {2023-12-13T04:22:40.000+0100}, author = {Abdulla, Parosh Aziz and Aiswarya, C. and Atig, Mohamed Faouzi and Montali, Marco and Rezine, Othmane}, biburl = {https://www.bibsonomy.org/bibtex/2f2ccb444aaf5422f65d381cd84e28d64/admin}, ee = {http://arxiv.org/abs/1604.03413}, interhash = {950759c8b29489877328e66c4dd2f3a1}, intrahash = {f2ccb444aaf5422f65d381cd84e28d64}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T04:22:40.000+0100}, title = {Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended Version).}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1604.html#AbdullaAAMR16}, volume = {abs/1604.03413}, year = 2016 }