Marinkovic Bojan B,Ciancaglini Vincenzo,Ognjanovic Zoran D,Glavan Paola,Liquori Luigi,Maksimovic Petar (2015) Analyzing the exhaustiveness of the Synapse protocol, PEER-TO-PEER NETWORKING AND APPLICATIONS, vol. 8, br. 5, str. 793-806 (Article)