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

学生论文: Doctoral Thesis

奖励日期9 七月 2020
源语言English
奖励机构
  • Ural Federal University
导师Михаил Владимирович Волков (Supervisor)

引用此

'