1 |
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.17Shabana, H. M. D. January 2020 (has links)
No description available.
|
2 |
Синхронизация частичных и недетерминированных автоматов: подход на основе sat-решателей : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.17Шабана, Х. М. Д. January 2020 (has links)
No description available.
|
Page generated in 0.0263 seconds