DC FieldValueLanguage
dc.contributor.authorGlavan, Paola-
dc.contributor.authorMarinković, Bojan-
dc.contributor.authorOgnjanović, Zoran-
dc.date.accessioned2020-06-15T15:23:24Z-
dc.date.available2020-06-15T15:23:24Z-
dc.date.issued2017-
dc.description.abstractWe give an overview of the development of the ASM framework, with special emphasis on the description and proving properties of peer-to-peer protocols.-
dc.titleProving Properties of Peer-to-Peer Protocols using ASMs Formalism – An Overview-
dc.typeConference Paper-
dc.relation.conference6th international conference Logic and Applications LAP 2017, Dubrovnik, Croatia, September 18-23, 2017-
dc.identifier.urlhttps://pdfs.semanticscholar.org/3c32/363499fa2f92796d201172e9a962d05b780f.pdf#page=19-
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.firstpage18-
dc.relation.lastpage20-
dc.description.rankM34-
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)

31
checked on Nov 28, 2022

Google ScholarTM

Check


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