APA Zitierstil

Saake, G. (1989). On first order temporal logics with changing domains for information system specification. Braunschweig: TU., Inst. f. Betriebssysteme u. Rechnerverbund.

ISBD Zitierstil

On first order temporal logics with changing domains for information system specification / Gunter Saake. Abteilung Datenbanken, Institute für Informatik, Technische Universität Braunschweig . — Braunschweig : TU., Inst. f. Betriebssysteme u. Rechnerverbund, 1989. — II, 22 Bl. — (89-01)

MLA Zitierstil

Saake, Gunter. On First Order Temporal Logics With Changing Domains for Information System Specification.Braunschweig: TU., Inst. f. Betriebssysteme u. Rechnerverbund, 1989.

Bitte überprüfen Sie diese Angaben auf Richtigkeit, bevor Sie sie in Ihre Arbeit aufnehmen.