DC FieldValueLanguage
dc.contributor.authorMarinković, Bojan-
dc.contributor.authorOgnjanović, Zoran-
dc.contributor.authorTodorović, Milan-
dc.contributor.authorZeljić, Aleksandar-
dc.contributor.authorGlavan, Paola-
dc.date.accessioned2020-06-29T06:47:25Z-
dc.date.available2020-06-29T06:47:25Z-
dc.date.issued2013-
dc.identifier.isbn978-86-80593-49-4-
dc.publisherMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.titleFormal Description of the Chord Protocol using Isabelle/HOL Proof Assistant-
dc.typeConference Paper-
dc.relation.conferenceThe first national conference “Information theory and complex systems”-
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.firstpage16-
dc.relation.lastpage16-
dc.description.rankM60-
item.fulltextNo Fulltext-
item.openairetypeConference Paper-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
item.grantfulltextnone-
crisitem.author.orcid0000-0002-9533-0330-
crisitem.author.orcid0000-0003-2508-6480-
Show simple item record

Page view(s)

34
checked on Nov 28, 2022

Google ScholarTM

Check

Altmetric


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