Towards a Framework for Dynamic Verification of Peer-to-Peer Systems.

Theofrastos Koulouris, George Spanoudakis, Theocharis Tsigkritis

Browse the full ICIW paper archive.