EITeL - ein intervallbasierter temporallogischer Ansatz
Author: | Klaus Spies, Otto Mayer |
---|---|
URN (permanent link): | urn:nbn:de:hbz:386-kluedo-50092 |
Serie (Series number): | Interner Bericht des Fachbereich Informatik (219) |
Document Type: | Report |
Language of publication: | German |
Publication Date: | 2017/11/02 |
Year of Publication: | 1992 |
Publishing Institute: | Technische Universität Kaiserslautern |
Date of the Publication (Server): | 2017/11/02 |
Number of page: | 24 |
Faculties / Organisational entities: | Fachbereich Informatik |
DDC-Cassification: | 0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik |
Licence (German): |