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

Tese do aluno: Doctoral Thesis

Data do prémio9 jul 2020
Idioma originalEnglish
Instituição de premiação
  • Ural Federal University
SupervisorМихаил Владимирович Волков (Supervisor)

Citar isto

'