Results

eNauka >  Results >  Proving Properties of Peer-to-Peer Protocols using ASMs Formalism – An Overview
Title: Proving Properties of Peer-to-Peer Protocols using ASMs Formalism – An Overview
Authors: Paola Glavan; Marinković, Bojan B.  ; Ognjanović, Zoran D.  
Issue Date: 2017
Publication: 6th international conference Logic and Applications LAP 2017
Publisher: Dubrovnik, Croatia
Type: Conference Paper
Collation: str. 18-20
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/3053
https://enauka.gov.rs/handle/123456789/166237
Metadata source: Migrirano iz RIS podataka
M-category: 
Mp. category will be shown later

Find the DOI

Google ScholarTM

Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.