Login / Signup

Proving distributed algorithms for mobile agents: Examples of spanning tree computation in dynamic networks.

Mouna KtariMohamed Amine HaddarAhmed Hadj KacemMohamed Mosbah
Published in: AICCSA (2015)
Keyphrases