еНаука - преглед

Преглед према Пројекат 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
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2022Model Checking for a Multi-Execution Memory ModelMoiseenko, Evgenii; Kokologiannakis, Michalis; Vafeiadis, ViktorНаучни чланак
22M22 - Међународни часопис категорије M22