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