On First Order Temporal Logics with Changing Domains for Information System Specification

TitleOn First Order Temporal Logics with Changing Domains for Information System Specification
Publication TypeConference Paper
Year of Publication1989
Publicno
AuthorsSaake, G.
PublisherTechnische Universität Braunschweig
Abstract

no