Login / Signup

A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs.

Faten FakhfakhMohamed TounsiAhmed Hadj KacemMohamed Mosbah
Published in: WETICE (2016)
Keyphrases