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. 286-291 2008 conf/icdcn/2008 ICDCN http://dx.doi.org/10.1007/978-3-540-77444-0_28 db/conf/icdcn/icdcn2008.html#HaddarKMMJ08