Електронний каталог: Перепелиця Іван Дмитрович - Моделі та методи статичного аналізу асинхронних систем обробки інформації: автореф. дис.... канд....