On first order temporal logics with changing domains for information system specification

Bibliographische Detailangaben

Titel

On first order temporal logics with changing domains for information system specification

verantwortlich

Saake, Gunter (VerfasserIn)

Schriftenreihe

Informatik-Berichte. Technische Universität Braunschweig ; 89-01

veröffentlicht

Braunschweig: TU., Inst. f. Betriebssysteme u. Rechnerverbund, 1989

Erscheinungsjahr

1989

Teil von

Informatik-Berichte ; 89-01

Medientyp

Buch

Datenquelle

K10plus Verbundkatalog

Tags

Tag hinzufügen