Жигулин М. В. Преобразование спецификации при пассивном тестировании телекоммуникационных протоколов / М. В. Жигулин, С. А. Прокопенко, Н. В. Евтушенко // Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.). Томск, 2006. С. 59-62 (Вестник Томского государственного университета. Приложение ; № 18, Август 2006). (Серия "Математика. Кибернетика. Информатика". URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000378824