|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
On the Model Checking of Finite State Transducers over Semigroupsстатья Исследовательская статья
- Авторы: Gnatenko A., Zakharov V.
- Сборник: Preliminary Proceedings of the 12 th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2018),
- Редакторы: Камкин Александр Сергеевич, Петренко Александр Константинович
- Год издания: 2018
- Первая страница: 26
- Последняя страница: 34
- Добавил в систему: Гнатенко Антон Романович