Return to search

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 / Синхронизация частичных и недетерминированных автоматов: подход на основе sat-решателей : диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.17

No description available.

1. Shabana H. M. D. 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 / H. M. D. Shabana ; [Place of defense: Ural Federal University named after the first President of Russia B.N. Yeltsin]. — Yekaterinburg, 2020. — 161 p. — Bibliography: pp. 148-158 (91 titles).
2. http://elar.urfu.ru/handle/10995/83662

Identifer	oai:union.ndltd.org:urfu.ru/oai:elar.urfu.ru:10995/83662
Date	January 2020
Creators	Shabana, H. M. D.
Contributors	Volkov, M. V.
Publisher	б. и.
Source Sets	Ural Federal University
Language	Russian
Detected Language	Bulgarian
Type	Thesis
Format	application/pdf
Rights	Предоставлено автором на условиях простой неисключительной лицензии, http://elar.urfu.ru/handle/10995/31613