TY - BOOK AU - Дубинин, В.Н. AU - Зинкин, С.А. TI - Спецификация и верификация процессов обмена информацией в вычислительных системах и сетях PY - 1992/// CY - Пенза PB - Изд-во Пенз. политехн. ин-та N2 - Библиогр.: с. 70-71 (14 назв.) ER -