| Original language | English |
|---|---|
| Publisher | Not Known |
| Publication status | Published - 1 Apr 2010 |
Bibliographical note
School of Computer Science, The University of Birmngham, CSR-10-07Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Checking Security Property of P2P Systems using CSP
- TTA Dinh
- , Mark Ryan
Research output: Book/Report › Commissioned report