An approach to formal verification of python software transactional memory

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

Results

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

Title:	An approach to formal verification of python software transactional memory
Authors:	Kordić, Branislav ; Popović, Miroslav ; Gilezan, Silvia ; Basicevic, Ilija
Issue Date:	2017
Publication:	ACM International Conference Proceeding Series
Publisher:	Association for Computing Machinery
Type:	Conference Paper
ISBN:	978-1-450-34843-0 Search Idenfier
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
Project:	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
Metadata source:	Migracija
M-category:	Mp. category will be shown later

8
SCOPUS^TM

5
OpenCitations

3
WEB OF SCIENCE^TM

Altmetric

Dimensions

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.

Unpaywall

Google Scholar^TM