A formal proof of a protocol for communications over faulty channels using the Larch Prover | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1995

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

формальный

верификация

параллельный

программа

протокол

Стр.:

22 p.

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

Bibliogr.: p.21-22

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

Номер:

2476

Карточка:

Б2.23, В2.11.

Chetali B..

A formal proof of a protocol for communications over faulty channels using the Larch Prover-Cedex., 1995.-22 p.-(Препринт INRIA №2476).
Bibliogr.: p.21-22

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

PREP2 224