Compositional Verificationof Randomized Distributed Algorithms | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1998

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

верификация

распределенный

алгоритм

Стр.:

P.515-540

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

Bibliogr.: p.538-540

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

Серия:

Lecture Notes in Computer Science

Источник:

Lecture Notes in Computer Science

Том:

1536

Карточка:

Б2.23, Б2.12.

Segala R..

Compositional Verificationof Randomized Distributed Algorithms-Berlin, Heidelberg.// Lecture Notes in Computer Science, 1998.-Vol. 1536.-P.515-540-(Lecture Notes in Computer Science).
Bibliogr.: p.538-540

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

PAP19 98