|
| 004.73.057.4 | Е741
2 | Ермолаева, Алла
Разработка средств верификации протоколов локальных вычислительных сетей с использованием аппарата темпоральной логики [Текст] : автореф. дис. ... канд. техн. наук : 05.13.13 / Моск. ин-т электрон. машиностроения. — М., 1987. — 19 с. | |
| | |
|
