Резултати
| Назив: | Proving properties of the Chord protocol using the ASM formalism | Аутори: | Marinković, Bojan  ; Glavan, Paola; Ognjanović, Zoran  |
Година: | 2019 | Публикација: | Theoretical Computer Science | ISSN: | 0304-3975 Theoretical Computer Science Претражи идентификатор |
Издавач: | Elsevier | Тип резултата: | Научни чланак | Колација: | 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 |
Пројекат: | 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 |
Извор метаподатака: | Migracija | М-категорија: | 22M22 - Међународни часопис категорије M22 |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.