Сотников А П

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

1. Experiments on parallel composition of timed finite state machines
   
   Труды ИСП РАН, 29:3 (2017),  233–246