Theofrastos Koulouris George Spanoudakis Theocharis Tsigkritis Towards a Framework for Dynamic Verification of Peer-to-Peer Systems. 2 2007 ICIW http://doi.ieeecomputersociety.org/10.1109/ICIW.2007.63 conf/iciw/2007 db/conf/iciw/iciw2007.html#KoulourisST07