Fakultet tehničkih nauka, Departman za računarstvo i automatiku

View Statistics Email Alert RSS Feed
Organization name
Fakultet tehničkih nauka, Departman za računarstvo i automatiku
Parent OrgUnit
City
Novi Sad
Country
Serbia

OrgUnit's Researchers publications
(Dept/Workgroup Publication)

Refined By:
Author:  Popović, Miroslav
Author:  Kordić, Branislav
Type:  Journal/Magazine Article

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

Issue DateTitleAuthor(s)
11-Jan-2019Formal verification of python software transactional memory based on timed automataKordić, Branislav ; Popović, Miroslav ; Gilezan, Silvia 
21-Jan-2019Online algorithms for scheduling transactions on Python Software transactional memoryPopović, Miroslav; Kordić, Branislav; Popović, Miroslav; Bašičević, Ilija 
31-Feb-2018A simulation of distributed STMBrkin, Dragan; Kordić, Branislav ; Popović, Miroslav