еНаука - преглед
Преглед према Пројекат European Research Council (ERC) Consolidator Grant for the project lPERSISTz under the European Union's Horizon 2020 research and innovation programme [101003349]
Приказ резултата 1 до 1 од 1
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2022 | Model Checking for a Multi-Execution Memory Model | Moiseenko, Evgenii; Kokologiannakis, Michalis; Vafeiadis, Viktor | Научни чланак | 22M22 - Међународни часопис категорије M22 |