Reachability Analysis on Distributed Executions | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1992

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

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

программа

верификация

Стр.:

17 p.

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

Bibliogr.: p.15-16

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

Номер:

1720

Карточка:

Б3.54.

Diehl C., Jard C., Rampon J. -X..

Reachability Analysis on Distributed Executions-Le Chesnay., 1992.-17 p.-(Препринт INRIA №1720).
Bibliogr.: p.15-16

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

PREP2 865