Моделирование и валидация коммуникационных протоколов, представленных на языках Estelle и SDL, с помощью сетей Петри высокого уровня
Чурина, Татьяна Геннадьевна. Моделирование и валидация коммуникационных протоколов, представленных на языках Estelle и SDL, с помощью сетей Петри высокого уровня : диссертация ... кандидата физико-математических наук : 05.13.11.- Новосибирск, 2000.- 141 с.: ил. РГБ ОД, 61 01-1/330-4