A Formal Method to Prove Ordering Properties of Multicast Systems

Вы здесь

Автор:

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

Вид:

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

Год:

1999

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

Стр.:

P.75-89.

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

Bibliogr.: p.88-89

Источник:

Номер:

Том:

Карточка:

Б2.43, Б3.44.

Toinard C., Florin G., Carrez C..

A Formal Method to Prove Ordering Properties of Multicast Systems// Operating Systems Review-1999, №4.-Vol. 33.-P.75-89.
Bibliogr.: p.88-89

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

ACM6 264