Checking Security Property of P2P Systems using CSP

TTA Dinh, Mark Ryan

Research output: Book/Report › Commissioned report

Original languageEnglish
PublisherNot Known
Publication statusPublished - 1 Apr 2010

Bibliographical note

School of Computer Science, The University of Birmngham, CSR-10-07

Cite this