Authors: Marinković, Bojan 
Glavan, Paola
Ognjanović, Zoran 
Affiliations: Mathematical Institute of the Serbian Academy of Sciences and Arts 
Title: Logical Framework for Proving the Correctness of the Chord Protocol
First page: 29
Last page: 31
Conference: 7th international conference Logic and Applications LAP 2018, Dubrovnik, Croatia, September 24-28, 2018
Issue Date: 2018
Rank: M34

Show full item record

Page view(s)

checked on May 9, 2024

Google ScholarTM


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