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

(duration 10/06 - 09/08)

Contents People Contact Results Literature

Contact Address Kathrin Hoffmann Technische Universität Berlin Fakultät IV Sekr. FR 6-1 Franklinstr. 28/29 10587 Berlin Germany Room FR 6028 Tel. +49 30 249 21 Fax +49 30 314 23 516 E-Mail hoffmann at cs.tu-berlin.de