| 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: | M64 |
| ISBN: | 978-86-80593-49-4 |
| Publisher: | Mathematical Institute of the Serbian Academy of Sciences and Arts |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.