Analysing Randomized Distributed Algorithms (2004)

by G Norman
Venue:In Validation of Stochastic Systems, volume 2925 of LNCS