Monitoring Dynamic Integrity Constraints on Finite State Sequences and Existence Intervals

Udo W. Lipeck, Heren Zhou. Monitoring Dynamic Integrity Constraints on Finite State Sequences and Existence Intervals. In FMLDO. pages 115-130, 1991.

Abstract

Abstract is missing.