Monitoring Dynamic Integrity Constraints Based on Temporal Logic (1987)

by U W Lipeck, G Saake
Venue:Information Systems