@INPROCEEDINGS{MounaKtari2015,
  author = {Mouna Ktari  and Mohamed Amine Haddar and Ahmed Hadj Kacem and Mohamed Mosbah},
  title = {Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Dynamic Networks},
  booktitle = {Proceedings of the 12th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA),},
  year = {2015},
  publisher = {IEEE Computer Society},
}