Вернуться к Подробностям о статье Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений Скачать Скачать PDF