|
|
|
Publications in Math-Net.Ru |
Citations |
|
2018 |
| 1. |
H. Shabana, M. V. Volkov, “Using SAT solvers for synchronization issues in non-deterministic automata”, Sib. Èlektron. Mat. Izv., 15 (2018), 1426–1442 |
1
|
| 2. |
Hanan Shabana, “$D_2$-synchronization in nondeterministic automata”, Ural Math. J., 4:2 (2018), 99–110 |
3
|
|
| Organisations |
|
|