Formalno verifikovana distribuirana softverska transakciona memorija otporna na otkaze

Popović Marko

Results

eNauka > Results > Formalno verifikovana distribuirana softverska transakciona memorija otporna na otkaze

Title:	Formalno verifikovana distribuirana softverska transakciona memorija otporna na otkaze
Other Titles:	Formally verified fault tolerant distributed software transactional memory
Authors:	Popović Marko
Supervisor:	Bašičević, Ilija
Other contributors:	Teslić, Nikola ; Tomašević Milo ; Gilezan, Silvia ; Đukić, Miodrag; Bašičević, Ilija
Issue Date:	2021
Publication:	Универзитет у Новом Саду
Publisher:	Универзитет у Новом Саду, Факултет техничких наука
Type:	Doctoral theses
URI:	http://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija161104932670295.pdf?controlNumber=(BISIS)117485&fileName=161104932670295.pdf&id=17440&source=NaRDuS&language=sr http://www.cris.uns.ac.rs/record.jsf?recordId=117485&source=NaRDuS&language=sr http://www.cris.uns.ac.rs/DownloadFileServlet/IzvestajKomisije16110493909367.pdf?controlNumber=(BISIS)117485&fileName=16110493909367.pdf&id=17441&source=NaRDuS&language=sr https://nardus.mpn.gov.rs/handle/123456789/18373 https://enauka.gov.rs/handle/123456789/220352
M-category:	70M70

Find the DOI

Finding a DOI in CrossRef based on publication meta-data. The DOI (and metadata) with the similar data match will be displayed. ATTENTION - it doesn't have to be that publication.

Google Scholar^TM

Creative Commons License