On Designing Provably Correct DODAG Formation Criteria for the IPv6 Routing Protocol for Low-Power and Lossy Networks (RPL).

Agnieszka Paszkowska, Konrad Iwanicki

Browse the full DCOSS paper archive.