Вы здесь
Исследование и разработка методов верификации протоколов распределенных систем на основе биссимуляционной эквивалентности сетей Петри
Количество экземпляров:
1
Вид:
Автореферат
Год:
1997
Ключевые слова:
Стр.:
20 с.
Библиография:
Библиогр.: c.17-19
Место защиты:
Номер специальности:
05.13.11
Карточка:
Б2.22, Б3.54.
Поступальский П. А..
Исследование и разработка методов верификации протоколов распределенных систем на основе биссимуляционной эквивалентности сетей Петри: Автореферат диссертации на ученую степень: канд. техн. наук.: 05.13.11.-Владивосток, 1997.-20 с.
Библиогр.: c.17-19
Таблица в старой библиотеке:
DAR1MP 230