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

(duration 10/06 - 09/08)

Literature

Here we present a selection of the relevant literature that is both subjective and incomplete and strongly influenced by our own work. Our own publications in this area additionally can be found here.

This selection is a starting point for the gathering of relevant literature on modeling in MANETs and any suggestion to further material is most welcome (contact).