Вы здесь

Protocol Validation: A Parallel Technique to Reduce the Reachability Tree

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1994
Стр.: 
P.109-121.
Библиография: 
Bibliogr.: p.121.
Издательство: 
Том: 
817
Карточка: 

Ф3.53.

Benslimane A..

Protocol Validation: A Parallel Technique to Reduce the Reachability Tree: Springer// Lecture Notes in Computer Science-1994.-Vol. 817.-P.109-121.
Bibliogr.: p.121.

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