Analyzing randomized distributed algorithms

Gethin Norman, C Baier, B Haverkort, H Hermanns, J-P Katoen, M Siegle, F Vaandrager

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Original language	English
Title of host publication	Validation of Stochastic Systems: A Guide to Current Research
Publication status	Published - 1 Jan 2004

Cite this

@inbook{4dd60387a1394a7890a0678e26e08bd1,

title = "Analyzing randomized distributed algorithms",

author = "Gethin Norman and C Baier and B Haverkort and H Hermanns and J-P Katoen and M Siegle and F Vaandrager",

year = "2004",

month = jan,

day = "1",

language = "English",

booktitle = "Validation of Stochastic Systems: A Guide to Current Research",

}