Коровченко Олена Борисівна. Моделі і методи аналізу та верифікації телекомунікаційних протоколів на основі Е-мереж та формальних граматик : Дис... канд. наук: 05.12.02 - 2011.