izvor podataka: crosbi
✓
Logical Framework for Proving the Correctness of Chord Protocol (CROSBI ID 687431)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Marinković, Bojan ; Glavan, Paola ; Ognjanović, Zoran
Logical Framework for Proving the Correctness of Chord Protocol // Book of Abstracts of the 7th International Conference on Logic and. Applications - LAP 2018 / Ghilezan, S. ; Ognjanović, Zoran (ur.). 2018. str. 29-31
Podaci o odgovornosti
Marinković, Bojan ; Glavan, Paola ; Ognjanović, Zoran
engleski
Logical Framework for Proving the Correctness of Chord Protocol
Correctness of Chord protocol is proven using the logic of time and knowledge.
Chord ; logic of time and knowledge
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
29-31.
2018.
objavljeno
Podaci o matičnoj publikaciji
Book of Abstracts of the 7th International Conference on Logic and. Applications - LAP 2018
Ghilezan, S. ; Ognjanović, Zoran
Podaci o skupu
7th International Conference on Logic and. Applications (LAP 2018)
predavanje
24.09.2018-28.09.2018
Dubrovnik, Hrvatska
Povezanost rada
Povezane osobe
Povezane ustanove