.gif)
Using Finite-Linear Temporal Logic for Specifying Database Dynamics
| Title | Using Finite-Linear Temporal Logic for Specifying Database Dynamics |
| Publication Type | Conference Proceedings |
| Year of Conference | 1989 |
| Authors | Saake, G., and U. W. Lipeck |
| Conference Name | Proc1 CSL'88 2nd Workshop Computer Science Logic |
| Pagination | 288-300 |
| Publisher | Springer, Berlin |
| Abstract | no |
| Public | no |