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

Tesis doctoral: Doctoral Thesis

Fecha de adjudicación9 jul 2020
Idioma originalEnglish
Institución adjudicataria
  • Ural Federal University
SupervisorМихаил Владимирович Волков (Supervisor)

Citar esto

'