Selective Mu-Calculus and Formula-Based Equivalence of...

Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems

Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini

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

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

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

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

Том:

Рік:

1999

Мова:

english

Сторінки:

DOI:

10.1006/jcss.1999.1660

Файл:

PDF, 296 KB

english, 1999

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

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