A diversified and correct-by-construction broadcast service

Vincent Rahli, Nicolas Schiper, Robbert van Renesse, Mark Bickford, Robert L. Constable

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)
Original languageEnglish
Title of host publication20th IEEE International Conference on Network Protocols, ICNP 2012, Austin, TX, USA, October 30 - Nov. 2, 2012
Number of pages6
Publication statusPublished - 2012

Cite this