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.)