Formal analysis techniques for gossiping protocols

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

    Research output: Contribution to journalArticleAcademic

    83 Downloads (Pure)
    Original languageUndefined
    Pages (from-to)34-46
    JournalNieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica
    Publication statusPublished - 2008

    Keywords

    • IR-76318

    Cite this