Верификация асинхронных параллельных систем на основе L-программ Панков, Сергей Владимирович ВАК РФ 05.13.16 Стр. 1 из 25