Model Checking Communication Protocols | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Mukhopadhyay S.

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

1

Вид:

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

Год:

2001

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

проверка

протокол

верификация

Стр.:

P.160-170

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

Bibliogr.: p.170

Источник:

Lecture Notes in Computer Science

Том:

2234

Карточка:

Б2.13, Б2.4.

Argon P., Delzano G., Mukhopadhyay S., Podelski A..

Model Checking Communication Protocols// Lecture Notes in Computer Science-2001.-Vol. 2234.-P.160-170
Bibliogr.: p.170

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

PAP24 156