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 |