1993 | ||
---|---|---|
2 | Heren Zhou: Überwachung dynamischer Integritätsbedingungen mit Hilfe vergangenheitsbezogener temporaler Logik. Grundlagen von Datenbanken 1993: 133-137 | |
1991 | ||
1 | Udo W. Lipeck, Heren Zhou: Monitoring Dynamic Integrity Constraints on Finite State Sequences and Existence Intervals. FMLDO 1991: 115-130 |
1 | Udo W. Lipeck | [1] |