Formal Analysis Techniques for Gossiping Protocols

R.R. Bakhshi, F. Bonnet, W.J. Fokkink, B.R. Haverkort

Research output: Contribution to JournalArticleAcademicpeer-review

Fingerprint

Dive into the research topics of 'Formal Analysis Techniques for Gossiping Protocols'. Together they form a unique fingerprint.

Engineering & Materials Science