Formal analysis techniques for gossiping protocols

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	English
Pages (from-to)	34-46
Number of pages	13
Journal	Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica
Publication status	Published - 2008
Externally published	Yes

Keywords

@article{29c1b0e00cd0452a856e01f2602fbc97,

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 = "English",

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 -