Эль-Факи Калед

Публикации в базе данных Math-Net.Ru

1. Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов
   
   Модел. и анализ информ. систем, 24:4 (2017),  496–507