.gif)
On First Order Temporal Logics with Changing Domains for Information System Specification
| Title | On First Order Temporal Logics with Changing Domains for Information System Specification |
| Publication Type | Conference Paper |
| Year of Publication | 1989 |
| Public | no |
| Authors | Saake, G. |
| Publisher | Technische Universität Braunschweig |
| Abstract | no |