Verifying Security Property of Peer-to-Peer Systems Using CSP

Computer Science

Research output: Contribution to conference (unpublished) › Paper

3 Citations (Scopus)

1 results

Filter

Verifying Interoperability requirements in Pervasive Systems
Ryan, M. & Ritter, E.
Engineering & Physical Science Research Council
8/10/08 → 7/03/13
Project: Research Councils