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

Bibliographische Detailangaben

1. Verfasser:	Saake, Gunter (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Braunschweig TU., Inst. f. Betriebssysteme u. Rechnerverbund 1989
Schriftenreihe:	Informatik-Berichte 89-01
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!