| Fecha de adjudicación | 9 jul 2020 |
|---|---|
| Idioma original | English |
| Institución adjudicataria |
|
| Supervisor | Михаил Владимирович Волков (Supervisor) |
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
Tesis doctoral: Doctoral Thesis