Ануреев ИС, Баранов СН, Белоглазов ДМ, Дробинцев ПД, Колчин АВ, Котляров ВП, Летичевский АА, Летичевский АА, Непомнящий ВА, Никифоров ИВ, Потиенко СВ, Прийма ЛВ, Тютин БВ, Бодин ЕМ. Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений. ТС [Интернет]. 1июн.2013 [цитируется по 21ноя.2024];3(26):349-83. Available from: https://ia.spcras.ru/index.php/sp/article/view/1709