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
Date Issued:  2017

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

Issue DateTitleAuthor(s)
131-Aug-2017An approach to formal verification of python software transactional memoryKordić, Branislav ; Popović, Miroslav ; Gilezan, Silvia ; Bašičević, Ilija 
216-Jun-2017Transaction scheduling for Software Transactional MemoryPopović, Miroslav; Kordić, Branislav; Bašičević, Ilija