%0 Conference Paper %1 conf/aiccsa/KtariHKM15 %A Ktari, Mouna %A Haddar, Mohamed Amine %A Kacem, Ahmed Hadj %A Mosbah, Mohamed %B AICCSA %D 2015 %I IEEE Computer Society %K dblp %P 1-7 %T Proving distributed algorithms for mobile agents: Examples of spanning tree computation in dynamic networks. %U http://dblp.uni-trier.de/db/conf/aiccsa/aiccsa2015.html#KtariHKM15 %@ 978-1-5090-0478-2

@inproceedings{conf/aiccsa/KtariHKM15, added-at = {2023-03-24T00:00:00.000+0100}, author = {Ktari, Mouna and Haddar, Mohamed Amine and Kacem, Ahmed Hadj and Mosbah, Mohamed}, biburl = {https://www.bibsonomy.org/bibtex/2276abf96fba5d27a0032e7a34f155c2b/dblp}, booktitle = {AICCSA}, crossref = {conf/aiccsa/2015}, ee = {https://doi.ieeecomputersociety.org/10.1109/AICCSA.2015.7507167}, interhash = {ae4bd6817e945266e789e479b745bd75}, intrahash = {276abf96fba5d27a0032e7a34f155c2b}, isbn = {978-1-5090-0478-2}, keywords = {dblp}, pages = {1-7}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T17:21:07.000+0200}, title = {Proving distributed algorithms for mobile agents: Examples of spanning tree computation in dynamic networks.}, url = {http://dblp.uni-trier.de/db/conf/aiccsa/aiccsa2015.html#KtariHKM15}, year = 2015 }