Резултати

eNauka >  Rezultati >  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.

Pronađi DOI


Google ScholarTM

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.