Formal analysis techniques for gossiping protocols

Rena Bakhshi, Francois Bonnet, Wan Fokkink, Boudewijn R.H.M. Haverkort

Research output: Contribution to journal › Article › Academic

189 Downloads (Pure)

Original language	Undefined
Pages (from-to)	34-46
Journal	Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica
Publication status	Published - 2008

Keywords

@article{882e51923ad24abd99f3055f32915ef8,

title = "Formal analysis techniques for gossiping protocols",

keywords = "IR-76318",

author = "Rena Bakhshi and Francois Bonnet and Wan Fokkink and Haverkort, {Boudewijn R.H.M.}",

year = "2008",

language = "Undefined",

pages = "34--46",

journal = "Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica",

}

TY - JOUR

T1 - Formal analysis techniques for gossiping protocols

AU - Bakhshi, Rena

AU - Bonnet, Francois

AU - Fokkink, Wan

AU - Haverkort, Boudewijn R.H.M.

PY - 2008

Y1 - 2008

KW - IR-76318

M3 - Article

SP - 34

EP - 46

JO - Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica

JF - Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica

ER -