Autori: Kokologiannakis Michalis
| Naslov | Model Checking for a Multi-Execution Memory Model (Article) |
| Autori | Moiseenko Evgenii Kokologiannakis Michalis Vafeiadis Viktor |
| Info | PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, (2022), vol. 6 br. OOPSLA, str. - |
| Projekat | European Research Council (ERC) Consolidator Grant for the project lPERSISTz under the European Union's Horizon 2020 research and innovation programme [101003349] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
