И.Б. Бурдонов, А.С. Косачев
Тестирование системы автоматов с буферизацией сообщений.
11-ая международная конференция "Новые информационные технологии в исследовании сложных структур". 9 июня 2016. ICAM 2016. Екатеринбург.
21 слайд

ppt, текст к ppt: doc, pdf, тезисы доклада: doc, pdf, статья для "Вестника Томского университета": doc, pdf.