Электронный каталог: Колчин Олександр Валентинович - Розробка інструментальних засобів для перевірки формальних моделей асинхронних систем: автореф. д...