Results
| Title: | Proving formal properties of the Chord protocol using Isabelle | Authors: | Marinković, Bojan  ; Ognjanović, Zoran  ; Todorović, Milan ; Aleksandar Zeljić; Paola Glavan |
Issue Date: | 2015 | Publication: | 4th international conference Logic and Applications LAP 2015 | Publisher: | University of Zagreb, Hrvatska | Type: | Conference Paper | Collation: | str. 59-60 | URI: | https://enauka.gov.rs/handle/123456789/434654 http://researchrepository.mi.sanu.ac.rs/handle/123456789/3049 |
URL: | http://imft.ftn.uns.ac.rs/math/cms/uploads/Main/LAP2015_book_of_abstracts.pdf | Metadata source: | Migrirano iz RIS podataka | M-category: | Mp. category will be shown later |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.