Postgraduate Programme ("Graduiertenkolleg") at the Department of Computer Science, Dresden University of Technology, Germany


deutsche Version

Topic of the GK 334*:

Specification of discrete processes and systems of processes by operational models and logics

01.01.1997 - 31.12.2005

Staff

Motivation and aims

Research programme

Events

Library

Ph.D. theses

Lectures

Further information

Impressum

*supported by the German Research Foundation (DFG) and the Free State of Saxony

(This website is no longer maintained.)