Formal modeling and analysis of flexible processes in mobile ad-hoc networks

(duration 10/06 - 09/08)

Contents People Contact Results Literature

People Project leaders Dr. Kathrin Hoffmann PD Dr. Julia Padberg Prof. Dr. Hartmut Ehrig Scientific workers Enrico Biermann Dr. Claudia Ermel Leen Lambers Tony Modica Ulrike Prange Student workers Jochen Adamek Karsten Gabriel Peggy Sylopp