Formal specification and analysis of performance variation in sensor network diffusion protocols.

Sule Nair, Rachel Cardell-Oliver

Browse the full MSWIM paper archive.