Title | Monitoring Dynamic Integrity Constraints Based on Temporal Logic |
Publication Type | Journal Article |
Year of Publication | 1987 |
Public | no |
Authors | Lipeck, U. W., and G. Saake |
Journal | Information Systems |
Volume | 12 |
Pagination | 255-269 |
Abstract | no |