DBLP_conf-icdcn-HaddarKMMJ08
Med-Amine Haddar, Ahmed Hadj-Kacem, Yves Métivier, Mohamed Mosbah, Mohamed Jmaiel. Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks. In Distributed Computing and Networking, Volume 904, Pages 286-291, 2008.
Download
Download paper:
Follow the link
Copyright notice:This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
Contact
Med-Amine Haddar
Ahmed Hadj-Kacem
Yves Métivier
Mohamed Mosbah
Mohamed Jmaiel
BibTex Reference
@InProceedings{DBLP_conf-icdcn-HaddarKMMJ08,
Author = {Haddar, Med-Amine and Hadj-Kacem, Ahmed and Métivier, Yves and Mosbah, Mohamed and Jmaiel, Mohamed},
Title = {Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks},
BookTitle = {Distributed Computing and Networking},
Volume = {904},
Pages = {286--291},
Publisher = {Springer Berlin / Heidelberg},
Year = {2008}
}
EndNote Reference [help]
Get EndNote Reference (.ref)