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
Язык оригиналаАнглийский
Учреждение
  • Уральский федеральный университет
РуководительМихаил Владимирович Волков (Научный руководитель)

Цитировать

Ссылки

Связанный контент

'