Authors: Todorović, Milan 
Zeljić, Aleksandar
Marinković, Bojan 
Glavan, Paola
Ognjanović, Zoran 
Affiliations: Mathematical Institute of the Serbian Academy of Sciences and Arts 
Title: Proving formal properties of the Chord protocol using Isabelle
First page: 59
Last page: 60
Conference: 4th international conference Logic and Applications LAP 2015, Dubrovnik, Croatia, September 21 - 25, 2015, 25-26, 2015
Issue Date: 2015
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.