An Effective Model Checking for Mu-calculus: From Finite Systems Towards Systems with Real Time | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1993

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

модальный

конечный

реальное время

Стр.:

P.73-86.

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

Bibliogr.: p.86.

Источник:

Bull. Novosibirsk Computing Center. Ser.: Computer Science

Номер:

1

Карточка:

Б2.13, Б2.14.

Berezin S. A., Shilov N. V., Shneider P. V..

An Effective Model Checking for Mu-calculus: From Finite Systems Towards Systems with Real Time// Bull. Novosibirsk Computing Center. Ser.: Computer Science-1993, №1.-P.73-86.
Bibliogr.: p.86.

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

PAP7 622