Вы здесь

Protocol Verification Tool with Extended Petri Net and Horn Clause

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1995
Стр.: 
P.1458-1467.
Библиография: 
Bibliogr.: p.1465-1466.
Источник: 
Номер: 
11
Том: 
E78-A
Карточка: 

А3.53, Б2.42.

Watanabe T., Ohta T., Sato F., Mizuno T..

Protocol Verification Tool with Extended Petri Net and Horn Clause// IEICE Trans.-1995, №11.-Vol. E78-A.-P.1458-1467.
Bibliogr.: p.1465-1466.

Таблица в старой библиотеке: 
PAP14 623