Model-checking mu-Calculus in Well-Structured Transition Systems | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

2004

Ключевые слова:

мю-исчисление

пропозициональный

проверка

интуиционистский

модальный

Стр.:

P.49-59

Выпуск:

20

Библиография:

Bibliogr.: p.58-59

Место издания:

Серия:

Computer Science

Источник:

Joint Bull. of NCC and IIS

Карточка:

Б2.14.

Kouzmin E. V., Shilov N. V., Sokolov V. A..

Model-checking mu-Calculus in Well-Structured Transition Systems-Novosibirsk, P..// Joint Bull. of NCC and IIS, 2004.-P.49-59-(Computer Science, Вып.20).
Bibliogr.: p.58-59

Таблица в старой библиотеке:

ISI2 611