.gif)
Specifying Admissability of Dynamic Database Behaviour Using Temporal Logic
| Title | Specifying Admissability of Dynamic Database Behaviour Using Temporal Logic |
| Publication Type | Conference Paper |
| Year of Publication | 1985 |
| Public | no |
| Authors | Lipeck, U. W., H. - D. Ehrich, and M. Gogolla |
| Conference Name | Proc IFIP Working Conf on Theoretical and Formal Aspects of Information Systems |
| Publisher | North-Holland, Amsterdam |
| Abstract | no |
| Attachment | Size |
|---|---|
| 1985TFAIS.pdf | 602.54 KB |