Название Decidability of Parameterized Verification
Год выпуска 0
isbn 9781627057448
Автор произведения Igor Konnov
Жанр Компьютеры: прочее
Серия Synthesis Lectures on Distributed Computing Theory
Издательство Ingram
