Synchronization of partial and non-deterministic automata: a sat-based approach

: dissertation for the degree of candidate of physical and mathematical sciences : 05.13.17

Квалификационная работа: Кандидатская диссертация

Реферат

Дата присуждения9 июл 2020
ЯзыкАнглийский
Учереждение
  • Уральский федеральный университет
Научный руководительМихаил Владимирович Волков (Научный руководитель)

Цитировать

Synchronization of partial and non-deterministic automata: a sat-based approach: dissertation for the degree of candidate of physical and mathematical sciences : 05.13.17
Шабана, Х. М. Д. (Автор). 9 июл 2020

Квалификационная работа: Кандидатская диссертация