.gif)
Specifying Admissability of Dynamic Database Behaviour Using Temporal Logic
| Title | Specifying Admissability of Dynamic Database Behaviour Using Temporal Logic |
| Publication Type | Conference Proceedings |
| Year of Conference | 1985 |
| Authors | Lipeck, U. W., H. - D. Ehrich, and M. Gogolla |
| Conference Name | Proc1 IFIP Working Conf1 on Theoretical and Formal Aspects of Information Systems |
| Pagination | 145-157 |
| Publisher | North-Holland, Amsterdam |
| Abstract | no |
| Public | no |