Marković, Zoran

Network Lab View Statistics Email Alert

Loading... 3 0 20 0 false

Full Name

Marković, Zoran

Scopus Author ID

36931417200

Country

Serbia

Loading... 2 0 20 0 false

Refined By:

Subject: Branching time logic | First order logic | Strong completeness

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

	Author(s)	Title	Issue Date	Appears in	Rank
1	Doder, Dragan; Ognjanović, Zoran ; Marković, Zoran	An axiomatization of a first-order branching time temporal logic	26-Aug-2010	Journal of Universal Computer Science; 16(11); 1439-1451	M23

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

Acronym	Title	Start date	Completion	P-Investigator
PROJECT 6411	Win logon system based on smart cards for secure access control to Workstations	01-01-2005	31-12-2007	Marković, Zoran