Proving Distributed Algorithms for Wireless Sensor Networks by Combining Refinement and Local Computations.

Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem

Browse the full WETICE paper archive.