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

Student thesis: Doctoral Thesis

Date of Award9 Jul 2020
Original languageEnglish
Awarding Institution
  • Ural Federal University
SupervisorМихаил Владимирович Волков (Supervisor)

Cite this

'