Вы здесь

A Methodology for Model-Checking Ad-hoc Networks

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2003
Стр.: 
P.181-196
Библиография: 
Bibliogr.: p.195
Издательство: 
Том: 
2648
Карточка: 

Б4.57, Б3.5.

Zakiuddin I., Goldsmith M., Whittaker P., Gardiner P..

A Methodology for Model-Checking Ad-hoc Networks: Springer// Lecture Notes in Computer Science-2003.-Vol. 2648.-P.181-196
Bibliogr.: p.195

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