Formal analysis techniques for gossiping protocols

Rena Bakhshi, Francois Bonnet, Wan Fokkink, Boudewijn R.H.M. Haverkort

Research output: Contribution to journalArticleScientificpeer-review

Original languageEnglish
Pages (from-to)34-46
Number of pages13
JournalNieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica
Publication statusPublished - 2008
Externally publishedYes

Keywords

  • IR-76318

Cite this