Graduiertenkolleg an der Fakultät Informatik der Technischen Universität Dresden


English version

Thema des GK 334*:

Spezifikation diskreter Prozesse und Prozesssysteme durch operationelle Modelle und Logiken

01.01.1997 - 31.12.2005

Personal

Motivation und Ziele

Forschungsprogramm

Gäste und Veranstaltungen

GRK-Bibliothek

Dissertationen

Vorlesungen

Weitere Informationen

Impressum

*gefördert durch die DFG und den Freistaat Sachsen

(Diese Seite wird nicht mehr gepflegt.)