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


Refined By:
Author:  Ognjanović, Zoran
Subject:  Branching time | Probability operators | Propositional logic

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

Author(s)TitleIssue DateAppears inRank
1Ognjanović, Zoran ; Doder, Dragan; Marković, Zoran A branching time logic with two types of probability operators19-Oct-2011Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 5th International Conference on Scalable Uncertainty Management, SUM 2011; Dayton, OH; United States; 10 October 2011 through 13 October 2011; 6929 LNAI; 219-232M33

Projects



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

AcronymTitleStart dateCompletionP-Investigator
PROJECT 6411Win logon system based on smart cards for secure access control to Workstations01-01-200531-12-2007Marković, Zoran