Вы здесь
Дедуктивная верификация протокола скользя его окна
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2012
Ключевые слова:
Стр.:
С.57-68
Библиография:
Библиогр.: c.Библиогр.: c.67-68
Номер:
6
Том:
19
Карточка:
Б2.23.
Шкляев Д. А., Непомнящий В. А..
Дедуктивная верификация протокола скользя его окна// Моделирование и анализ информационных систем-2012, №6.-Vol. 19.-С.57-68
Библиогр.: c.Библиогр.: c.67-68
Таблица в старой библиотеке:
ISI3 286