Classes of Timed Automata and the Undecidability of...

Classes of Timed Automata and the Undecidability of Universality

Arnaldo V. Moura, Guilherme A. Pinto

Наскільки Вам сподобалась ця книга?

Яка якість завантаженого файлу?

Скачайте книгу, щоб оцінити її якість

Яка якість скачаних файлів?

Том:

Рік:

2002

Мова:

english

Сторінки:

DOI:

10.1016/s1571-0661(04)80479-1

Файл:

PDF, 254 KB

english, 2002

Виконується конвертація в

Конвертація в не вдалась