Monitoring dynamic integrity constraints based on temporal logic
| Autor: | Lipeck, Udo W, Saake, Gunter |
|---|---|
| Zdroj: | In Information Systems 1987 12(3):255-269 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Lipeck, Udo W, Saake, Gunter |
|---|---|
| Zdroj: | In Information Systems 1987 12(3):255-269 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|