Authors: Marinković, Bojan 
Ognjanović, Zoran 
Todorović, Milan 
Zeljić, Aleksandar
Glavan, Paola
Affiliations: Mathematical Institute of the Serbian Academy of Sciences and Arts 
Title: Formal Description of the Chord Protocol using Isabelle/HOL Proof Assistant
First page: 16
Last page: 16
Conference: The first national conference “Information theory and complex systems”
Issue Date: 2013
Rank: M60
ISBN: 978-86-80593-49-4
Publisher: Mathematical Institute of the Serbian Academy of Sciences and Arts

Show full item record

Page view(s)

31
checked on Oct 4, 2022

Google ScholarTM

Check

Altmetric


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