@inproceedings{FakhfakhTKM16,
  author    = {Faten Fakhfakh and
               Mohamed Tounsi and
               Ahmed Hadj Kacem and
               Mohamed Mosbah},
  title     = {A Refinement-Based Approach for Proving Distributed Algorithms on
               Evolving Graphs},
  booktitle = {25th {IEEE} International Conference on Enabling Technologies: Infrastructure
               for Collaborative Enterprises, {WETICE}},
  pages     = {44--49},
  year      = {2016},
  doi       = {10.1109/WETICE.2016.19},
}