|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Equivalence checking of sequential programs using two-tape automataтезисы доклада
- Автор: Zakharov V.A.
- Сборник: International Workshop “Automata, algorithms and information technologies” (Kyev, May 19-21, 2010)
- Тезисы
- Год издания: 2010
- Место издания: Abstracts Kiev
- Первая страница: 25
- Последняя страница: 25
- Добавил в систему: Захаров Владимир Анатольевич