@paves

Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries

, , , and . HAL (November 2018)To appear at CONCUR 2019.

Links and resources

URL:
BibTeX key:
bertrand:hal-01925533
search on:

Comments and Reviews  
(0)

There is no review or comment yet. You can write one!

Tags


Cite this publication