Login / Signup

Towards Proved Distributed Algorithms through Refinement, Composition and Local Computations.

Vincent FilouMohamed MosbahMohamed Tounsi
Published in: WETICE (2013)
Keyphrases