|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2018 |
1. |
H. Shabana, M. V. Volkov, “Using SAT solvers for synchronization issues in non-deterministic automata”, Сиб. электрон. матем. изв., 15 (2018), 1426–1442 |
1
|
2. |
Hanan Shabana, “$D_2$-synchronization in nondeterministic automata”, Ural Math. J., 4:2 (2018), 99–110 |
3
|
|