Zurück zur Übersicht

A Basic Calculus for Verifying Properties of Synchronously Interacting Objects

author/s: Stefan Conrad
type:Techreport
number:94
institution:TU Braunschweig
month:May
year:1994
type:Informatik-Bericht

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
E-Mail senden E-Mail senden

Sekretariat

Lisa Lorenz



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