Weak bisimulation for Probabilistic Timed Automata

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina

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

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

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

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

Том:

411

Рік:

2010

Мова:

english

Сторінки:

DOI:

10.1016/j.tcs.2010.09.003

Файл:

PDF, 485 KB

english, 2010

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

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