TY  - BOOK
TI  - On first order temporal logics with changing domains for information system specification
T3  - 
T3  - 89-01
AU  - Saake, Gunter
CY  - Braunschweig
PB  - TU., Inst. f. Betriebssysteme u. Rechnerverbund
PY  - 1989
PY  - 1989
LA  - Undetermined
KW  - Bericht
UR  - https://katalog.fid-bbi.de/Record/183-016180372
ER  -