@inproceedings{Taktak0MK18b,
  author    = {Emna Taktak and
               Mohamed Tounsi and
               Mohamed Mosbah and
               Ahmed Hadj Kacem},
  title     = {Proving Distributed Algorithms for Wireless Sensor Networks by Combining
               Refinement and Local Computations},
  booktitle = {{27th {IEEE} International Conference on Enabling Technologies: Infrastructure
               for Collaborative Enterprises, {WETICE}}},
  pages     = {217--222},
  publisher = {{IEEE} Computer Society},
  year      = {2018}
}