A Calculus for Mobile Ad Hoc Networks.

Jens Chr. Godskesen

Published in: COORDINATION (2007)

Keyphrases

automated deduction
routing protocol
evolutionary algorithm
computer algebra
databases
neural network
real world
wireless sensor networks
temporal reasoning