EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: van Steen, M.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

2008

Crouzen, P. and van de Pol, J.C. and Rensink, A. (2008) Applying Formal Methods to Gossiping Networks with mCRL and Groove. ACM SIGMETRICS performance evaluation review, 36 (3). pp. 7-16. ISSN 0163-5999

2007

Alvisi, L. and Doumen, J.M. and Guerraoui, R. and Koldehofe, B. and Li, H. and van Renesse, R. and Tredan, G. (2007) How robust are gossip-based communication protocols? Operating Systems Review, 41 (5). pp. 14-18. ISSN 0163-5980

This list was generated on Mon May 29 06:03:19 CEST 2017.