An approach to formal verification of python software transactional memory

Kordić, Branislav; Popović, Miroslav; Gilezan, Silvia; Basicevic, Ilija

Rezultati

eNauka > Rezultati > An approach to formal verification of python software transactional memory

Naziv:	An approach to formal verification of python software transactional memory
Autori:	Kordić, Branislav ; Popović, Miroslav ; Gilezan, Silvia ; Basicevic, Ilija
Godina:	2017
Publikacija:	ACM International Conference Proceeding Series
Izdavač:	Association for Computing Machinery
Tip rezultata:	Konferencijski rad
ISBN:	978-1-450-34843-0 Pretraži identifikator
DOI:	10.1145/3123779.3123788
WoS-ID:	000434851300013
Scopus-ID:	2-s2.0-85030326067
URI:	http://researchrepository.mi.sanu.ac.rs/handle/123456789/2581 https://enauka.gov.rs/handle/123456789/456256
Projekat:	Software and tools for multi-core systems Representations of logical structures and formal languages and their application in computing Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education Secretary of Science and Technology Development of the Province of Vojvodina, Grant 114-451-1074/2014-03
Izvor metapodataka:	Migracija
M-kategorija:	Mp kategorija će biti prikazana naknadno.

8
SCOPUS^TM

5
OpenCitations

3
WEB OF SCIENCE^TM

Alt metrika

Dimensions

Pronađi DOI

Pronalaženje DOI u servisu CrossRef-u na osnovu meta-podataka u zapisu. Prikazaće se DOI (i metapodaci) čiji se podaci najviše poklapaju. OPREZ - to ne mora biti ta publikacija.

Unpaywall

Google Scholar^TM

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.