Applying Formal Methods to Gossiping Networks with mCRL and Groove

P Crouzen, Jan Cornelis van de Pol, Arend Rensink, Boudewijn R.H.M. Haverkort (Editor), M. Siegle (Editor), Martinus Richardus van Steen (Editor), M. van Steen (Editor)

Research output: Contribution to journalArticleScientificpeer-review

Fingerprint

Dive into the research topics of 'Applying Formal Methods to Gossiping Networks with mCRL and Groove'. Together they form a unique fingerprint.

Engineering & Materials Science