Бокатюк, С. С. Автоматизация последовательной декомпозиции конечных автоматов / С. С. Бокатюк // Современные проблемы математики и вычислительной техники : материалы VII Республиканской научной конференции молодых ученых и студентов, Брест, 24–26 ноября 2011 года : в 2 частях / Министерство образования ...