Zurück zur Übersicht

Temporal Logic Specification of Objects: An Approach to Compositionality and Reusability Allowing next Operators

author/s: Stefan Conrad
type:Inproceedings
editor:R. Wieringa, R. Feenstra
booktitle:Working Papers of the International Workshop on Information Systems - Correctness and Reusability IS-CORE'94
publisher:Vrije Universiteit Amsterdam, Technical Report No. IR-357
pages:228-241
month:December
year:1994

Heinrich Heine Universität

Datenbanken und Informationssysteme

Lehrstuhlinhaber

Prof. Dr. Stefan Conrad


Universitätsstr. 1
40225 Düsseldorf
Gebäude: 25.12
Etage/Raum: 02.24
Tel.: +49 211 81-14088

Sekretariat

Lisa Lorenz



Universitätsstr. 1
40225 Düsseldorf
Gebäude: 25.12
Etage/Raum: 02.22
Tel.: +49 211 81-11312
Verantwortlich für den Inhalt:  E-Mail senden Datenbanken & Informationssysteme