An approach to formal verification of python software transactional memory

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

Резултати

еНаука > Резултати > An approach to formal verification of python software transactional memory

Назив:	An approach to formal verification of python software transactional memory
Аутори:	Kordić, Branislav ; Popović, Miroslav ; Gilezan, Silvia ; Basicevic, Ilija
Година:	2017
Публикација:	ACM International Conference Proceeding Series
Издавач:	Association for Computing Machinery
Тип резултата:	Конференцијски рад
ISBN:	978-1-450-34843-0 Претражи идентификатор
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
Пројекат:	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
Извор метаподатака:	Migracija
М-категорија:	Мп категорија ће бити приказана накнадно.

8
SCOPUS^TM

5
OpenCitations

3
WEB OF SCIENCE^TM

Алт метрика

Dimensions

Пронађи DOI

Проналажење DOI у сервису CrossRef-у на основу мета-података у запису. Приказаће се DOI (и метаподаци) чији се подаци највише поклапају. ОПРЕЗ - то не мора бити та публикација.

Unpaywall

Google Scholar^TM

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.