Results
| Naziv: | Proving properties of the Chord protocol using the ASM formalism | Autori: | Marinković, Bojan  ; Glavan, Paola; Ognjanović, Zoran  |
Godina: | 2019 | Publikacija: | Theoretical Computer Science | ISSN: | 0304-3975 Theoretical Computer Science Pretraži identifikator |
Izdavač: | Elsevier | Tip rezultata: | Naučni članak | Kolacija: | vol. 756 str. 64-93 | DOI: | 10.1016/j.tcs.2018.10.025 | WoS-ID: | 000456641500003 | Scopus-ID: | 2-s2.0-85055467290 | URI: | https://enauka.gov.rs/handle/123456789/539365 http://researchrepository.mi.sanu.ac.rs/handle/123456789/5 |
Projekat: | Representations of logical structures and formal languages and their application in computing Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education |
Izvor metapodataka: | Migracija | M-kategorija: | 22M22 - Međunarodni časopis kategorije M22 |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.