Вы здесь

Affine Model Checking Multi-agent Sliding Window Protocol

Автор: 
Вид: 
Статья из сборника или журнала
Год: 
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

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