Резултати

еНаука >  Резултати >  Model Checking for a Multi-Execution Memory Model
Назив: Model Checking for a Multi-Execution Memory Model
Аутори: Moiseenko, Evgenii; Kokologiannakis, Michalis; Vafeiadis, Viktor
Година: 2022
Публикација: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
ISSN: 2475-1421 PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL Претражи идентификатор
Тип резултата: Научни чланак
Колација: vol. 6 br. OOPSLA2 str. 758-785
DOI: 10.1145/3563315
WoS-ID: 001083750200029
Scopus-ID: 2-s2.0-85168424128
URI: https://enauka.gov.rs/handle/123456789/991919
Пројекат: European Research Council (ERC) Consolidator Grant for the project lPERSISTz under the European Union's Horizon 2020 research and innovation programme [101003349]
Извор метаподатака: (Preuzeto iz Nasi u WoS)
М-категорија: 
22M22 - Међународни часопис категорије M22

1
SCOPUSTM
1
WEB OF SCIENCETM
Алт метрика
Dimensions
Unpaywall

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