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

Bibliografie

• Durham University, UK
• Electronics and Computer Science at Southampton, UK