Loading... 3 0 20 0 false
Full Name
Ognjanović, Zoran
Scopus Author ID
Country
Serbia
Loading... 2 0 20 0 false

Refined By:
Subject:  Blockchain | Formal model | Multi-agent systems | Specification/verification | Temporal epistemic logic with probabilities

Results 1-1 of 1 (Search time: 0.002 seconds).

Author(s)TitleIssue DateAppears inRank
1Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Doder, Dragan; Studer, ThomasProbabilistic consensus of the blockchain protocol1-Jan-2019Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019; Belgrade; Serbia; 18 September 2019 through 20 September 2019; 11726 LNAI; 469-480M33

Projects



Results 1-3 of 3 (Search time: 0.001 seconds).