Verification of Peer-to-Peer Algorithms: a Case Study.

R.R. Bakhshi, D. Gurov

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)35-47
JournalElectronic Notes in Theoretical Computer Science
Publication statusPublished - 2007

Bibliographical note

Proceedings title: In Proc. Workshop on Coordination and Organization (CoOrg 2006) and Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006)
Publisher: Elsevier

Cite this