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 ZitierstilOn 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 ZitierstilSaake, 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.