Zurück zur Übersicht

Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte

author/s: Stefan Conrad
type:Book
series:Fortschritt-Berichte Reihe 10 Nr. 295
publisher:VDI-Verlag
address:Düsseldorf
month:May
year:1994
ISBN:3-18-329510-5

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

N.N.



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