Ломазова Ирина Александровна

Доклады и лекции в базе данных Math-Net.Ru

1. Do process models behave identically? Algorithmics and Decidability of Bisimulation Equivalences
   Irina Lomazova
   Коллоквиум Факультета компьютерных наук НИУ ВШЭ
   24 мая 2022 г. 16:20