|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2017 |
1. |
А. С. Твардовский, К. Эль-Факи, М. Л. Громов, Н. В. Евтушенко, “Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов”, Модел. и анализ информ. систем, 24:4 (2017), 496–507 |
|