[email protected]
Название: Decidability of Parameterized Verification
Автор: Igor Konnov
Серия: Synthesis Lectures on Distributed Computing Theory
Жанр: Компьютеры: прочее
