| |
Громов, М. Л.
Синтез различающих экспериментов для временных автоматов [Текст] / М. Л. Громов, Н. В. Евтушенко
// Программирование. – 2010. – № 4. – С. 40-50.
Статья посвящена построению различающих экспериментов с полностью определенными временными автоматами. |
