Additional Metadata
THEME Software (theme 1)
Publisher Springer
Editor E. Najm , not CWI et al
Series Lecture Notes in Computer Science
Conference Formal Methods for Networked and Distributed Systems
Chothia, T. (2006). Analysing the Mute Anonymous File-Sharing System Using the pi-calculus. In E Najm & not CWI et al (Eds.), Lecture Notes in Computer Science. Springer.