DC FieldValueLanguage
dc.contributor.authorTodorović, Milan-
dc.contributor.authorZeljić, Aleksandar-
dc.contributor.authorMarinković, Bojan-
dc.contributor.authorGlavan, Paola-
dc.contributor.authorOgnjanović, Zoran-
dc.date.accessioned2020-06-15T15:23:23Z-
dc.date.available2020-06-15T15:23:23Z-
dc.date.issued2015-
dc.titleProving formal properties of the Chord protocol using Isabelle-
dc.typeConference Paper-
dc.relation.conference4th international conference Logic and Applications LAP 2015, Dubrovnik, Croatia, September 21 - 25, 2015, 25-26, 2015-
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.firstpage59-
dc.relation.lastpage60-
dc.description.rankM34-
item.openairetypeConference Paper-
item.fulltextNo Fulltext-
item.grantfulltextnone-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
crisitem.author.orcid0000-0002-9533-0330-
crisitem.author.orcid0000-0003-2508-6480-
Show simple item record

Page view(s)

30
checked on Nov 28, 2022

Google ScholarTM

Check


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