Berndt Farwer
seit Oktober 2010: University of Glamorgan, U.K.
PRIVATE HOMEPAGE
|
|
|
-
- This page is no longer maintained. September 2006
- Funcţie:
- Proiecte actuale:
- "Model Checking Agent Programming Languages"
- Modelele Automatelor Concurente
- Logik und Petrinetze
- Dynamische Petrinetzstrukturen
- Model-Checking für Objekt-Petrinetze
- Strukturelle Analyse für komponenten- und agentenorientierte Petrinetze
- Proiecte
- Modelling And Analysis Of Time Constrained And Hierarchical Systems (MATCH)
- EATCS (European Association for Theoretical Computer Science)
- ASL (Association for Symbolic Logic)
- Prüfungsausschuß
- Bibliotheksausschuß (stellv.)
- Fachbereichstrat (stellv.)
- Kommission für englischsprachige Lehrveranstaltungen
- Bibliotheksausschuß (stellv.)
- Bibliografie
