Моделирование вычисления истинности утверждений в вычислительных сетях и потоках на основе временной модальной логики : доклад, тезисы доклада

Описание

Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций

Конференция: XXIV Всероссийская конференция молодых учёных по математическому моделированию и информационным технологиям; Красноярск; Красноярск

Год издания: 2023

Ссылки на полный текст

Издание

Журнал: Тезисы XXIV Всероссийской конференции молодых учёных по математическому моделированию и информационным технологиям

Номера страниц: 47-48

Место издания: Новосибирск

Персоны

  • Проценко Никита Александрович (Сибирский федеральный университет)

Вхождение в базы данных