Monitoring dynamic integrity constraints based on temporal logic (1987)

by U W Lipeck, G Saake
Venue:Information Systems