Results

eNauka >  Results >  Proving Properties of Peer-to-Peer Protocols using ASMs Formalism – An Overview
Naziv: Proving Properties of Peer-to-Peer Protocols using ASMs Formalism – An Overview
Autori: Paola Glavan; Marinković, Bojan B. ; Ognjanović, Zoran D.  
Godina: 2017
Publikacija: 6th international conference Logic and Applications LAP 2017
Izdavač: Dubrovnik, Croatia
Tip rezultata: Konferencijski rad
Kolacija: str. 18-20
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/3053
https://enauka.gov.rs/handle/123456789/166237
Izvor metapodataka: Migrirano iz RIS podataka
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

Find the DOI

Google ScholarTM

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