Temporal Conditons with Retroactive and Proactive Updates

Minglin Deng, A. Prasad Sistla, Ouri Wolfson. Temporal Conditons with Retroactive and Proactive Updates. In ARTDB. pages 122-141, 1995.

Abstract

Abstract is missing.