| |
Бурдонов, И. Б.
Неизбыточные алгоритмы обхода ориентированных графов. Недетерминированный случай [Текст] / И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин
// Программирование. – 2004. – № 1. – 4-24.
Данная статья посвящена обходу детерминированных графов как основе тестирования конечных автоматов по спецификациям |
