|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Полиномиальный по времени алгоритм проверки логико-термальной эквивалентности программстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Авторы: Захаров В.А., Новикова Т.А.
- Журнал: Труды Института системного программирования РАН (электронный журнал)
- Том: 22
- Год издания: 2012
- Первая страница: 435
- Последняя страница: 455
- Добавил в систему: Захаров Владимир Анатольевич