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