Rezultati

eNauka >  Rezultati >  Model Checking for a Multi-Execution Memory Model
Naziv: Model Checking for a Multi-Execution Memory Model
Autori: Moiseenko, Evgenii; Kokologiannakis, Michalis; Vafeiadis, Viktor
Godina: 2022
Publikacija: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
ISSN: 2475-1421 PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL Pretraži identifikator
Tip rezultata: Naučni članak
Kolacija: 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
Projekat: European Research Council (ERC) Consolidator Grant for the project lPERSISTz under the European Union's Horizon 2020 research and innovation programme [101003349]
Izvor metapodataka: (Preuzeto iz Nasi u WoS)
M-kategorija: 
22M22 - Međunarodni časopis kategorije M22

4
SCOPUSTM
3
WEB OF SCIENCETM
Alt metrika
Dimensions
Unpaywall

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