Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Search this site:
Links
Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Home
›
Biblio
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
Tagged
XML
BibTex
Google Scholar