Login / Signup
Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended Version).
Parosh Aziz Abdulla
C. Aiswarya
Mohamed Faouzi Atig
Marco Montali
Othmane Rezine
Published in:
CoRR (2016)
Keyphrases
</>
database driven
dynamic environments
data mining
management system
multi agent
expert systems
data model
web search
web mining