Gossiping Models: Formal Analysis of Epidemic Protocols

R.R. Bakhshi

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Original languageEnglish
QualificationPhD
Awarding Institution
  • Vrije Universiteit Amsterdam
Supervisors/Advisors
  • Fokkink, W.J., Supervisor
  • van Steen, M.R., Supervisor
Award date13 Jan 2011
Publication statusPublished - 2011

Bibliographical note

Naam instelling promotie: VU Vrije Universiteit
Naam instelling onderzoek: VU Vrije Universiteit

Cite this

@phdthesis{0d3040e70e364e86a2f5730c5e343873,
title = "Gossiping Models: Formal Analysis of Epidemic Protocols",
author = "R.R. Bakhshi",
note = "Naam instelling promotie: VU Vrije Universiteit Naam instelling onderzoek: VU Vrije Universiteit",
year = "2011",
language = "English",
school = "Vrije Universiteit Amsterdam",

}

Bakhshi, RR 2011, 'Gossiping Models: Formal Analysis of Epidemic Protocols', PhD, Vrije Universiteit Amsterdam.

Gossiping Models : Formal Analysis of Epidemic Protocols. / Bakhshi, R.R.

2011.

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

TY - THES

T1 - Gossiping Models

T2 - Formal Analysis of Epidemic Protocols

AU - Bakhshi, R.R.

N1 - Naam instelling promotie: VU Vrije Universiteit Naam instelling onderzoek: VU Vrije Universiteit

PY - 2011

Y1 - 2011

M3 - PhD Thesis - Research VU, graduation VU

ER -