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 proceeding › Conference contribution

4 Citations (Scopus)

Original language	English
Title of host publication	20th IEEE International Conference on Network Protocols, ICNP 2012, Austin, TX, USA, October 30 - Nov. 2, 2012
Pages	1-6
Number of pages	6
DOIs	https://doi.org/10.1109/ICNP.2012.6459943
Publication status	Published - 2012

Access to Document

@inproceedings{3a3276ae94664fccb69049242ffe1520,

title = "A diversified and correct-by-construction broadcast service",

author = "Vincent Rahli and Nicolas Schiper and Renesse, {Robbert van} and Mark Bickford and Constable, {Robert L.}",

year = "2012",

doi = "10.1109/ICNP.2012.6459943",

language = "English",

pages = "1--6",

booktitle = "20th IEEE International Conference on Network Protocols, ICNP 2012, Austin, TX, USA, October 30 - Nov. 2, 2012",

}

TY - GEN

T1 - A diversified and correct-by-construction broadcast service

AU - Rahli, Vincent

AU - Schiper, Nicolas

AU - Renesse, Robbert van

AU - Bickford, Mark

AU - Constable, Robert L.

PY - 2012

Y1 - 2012

U2 - 10.1109/ICNP.2012.6459943

DO - 10.1109/ICNP.2012.6459943

M3 - Conference contribution

SP - 1

EP - 6

BT - 20th IEEE International Conference on Network Protocols, ICNP 2012, Austin, TX, USA, October 30 - Nov. 2, 2012

ER -