Вы здесь

Affine Model Checking Multi-agent Sliding Window Protocol

Автор: 
Вид: 
Статья из сборника или журнала
Год: 
2012
Стр.: 
P.64-71
Библиография: 
Bibliogr.: p.71
Место издания: 
Карточка: 

Б2.52.

Garanina N. O..

Affine Model Checking Multi-agent Sliding Window Protocol-Nizhni Novgorod.// Proceedings of the 7th International Computer Science Symposium in Russia-2012.-P.64-71
Bibliogr.: p.71

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