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
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.