Model Checking for Distributed Systems in the Modal Mu-calculus | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

ИСИ СО РАН

Вид:

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

Год:

1994

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

распределенная система

проверка

верификация

Стр.:

P.127-137

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

Bibliogr.: p.137

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

Источник:

Specification, Verification and Net Models of Concurrent Systems

Карточка:

Б2.1, Б2.42.

Berezine S. A..

Model Checking for Distributed Systems in the Modal Mu-calculus-Novosibirsk.// Specification, Verification and Net Models of Concurrent Systems, 1994.-P.127-137
Bibliogr.: p.137

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

ISI1 982