Вы здесь
Affine Model Checking Multi-agent Sliding Window Protocol
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2012
Ключевые слова:
Стр.:
P.64-71
Библиография:
Bibliogr.: p.71
Место издания:
Издательство:
Источник:
Карточка:
Б2.1, Б2.2, В2.1.
Garanina N. O..
Affine Model Checking Multi-agent Sliding Window Protocol-Nizhni Novgorod.: Publ.House of the Nizhni Novgorod State University// Conference proceedings, 2012.-P.64-71
Bibliogr.: p.71
Таблица в старой библиотеке:
PAP31 753