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