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.
Identiferoai:union.ndltd.org:urfu.ru/oai:elar.urfu.ru:10995/83662
Date January 2020
CreatorsShabana, H. M. D.
ContributorsVolkov, M. V.
Publisherб. и.
Source SetsUral Federal University
LanguageRussian
Detected LanguageBulgarian
TypeThesis
Formatapplication/pdf
RightsПредоставлено автором на условиях простой неисключительной лицензии, http://elar.urfu.ru/handle/10995/31613

Page generated in 0.0019 seconds