TY  - BOOK
AU  - Анисимов, Н.А.
TI  - Методы формального описания, верификации и реализации сетевых протоколов с использованием теории сетей Петри
T2  - Препринт
VL  - № 9 (118)
PY  - 1984///
CY  - Владивосток
PB  - ИАПУ
N2  - Библиогр.: с. 34-40
ER  -