Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding.

Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali

Browse the full PODS paper archive.