Pepijn Crouzen, Jaco van de Pol, Arend Rensink. Applying formal methods to gossiping networks with mCRL and groove. SIGMETRICS Performance Evaluation Review, 36(3):7-16, 2008. [doi]
No references recorded for this publication.
No citations of this publication recorded.