@INPROCEEDINGS{haddar08a,
author = {Mohamed Amin Haddar and Ahmed Hadj Kacem and Yves Metivier and
Mohamed Mosbah and Mohamed Jmaiel},
title = {{Proving Distributed Algorithms for Mobile Agents: Examples
of Spanning Tree Computation in Anonymous Networks}},
booktitle = {Proceedings of the 9th International Conference on
Distributed Computing and Networking ICDCN'2008},
year = {2008},
editor = {Army L. Murphy and Jan Vitek},
volume = {4904},
series = {Lecture Notes in Computer Sciences},
pages = {286--291},
address = {Kolkata, India},
month = {January},
publisher = {Springer},
doi = {10.1007/978-3-540-77444-0_28}
}