Gossiping Models: Formal Analysis of Epidemic Protocols

R.R. Bakhshi

Research output: PhD Thesis › PhD-Thesis - Research and graduation internal

411 Downloads (Pure)

Original language	English
Qualification	PhD
Awarding Institution	Vrije Universiteit Amsterdam
Supervisors/Advisors	Fokkink, Wan, Supervisor van Steen, M.R., Supervisor
Award date	13 Jan 2011
Publication status	Published - 2011

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

Access to Document

@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",

type = "PhD-Thesis - Research and graduation internal",

school = "Vrije Universiteit Amsterdam",

}