"Formal Proof of Cooperativeness in a Multi-Party P2P Content ..."

Almudena Alcaide et al. (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics