|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного временистатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Авторы: Захаров В.А., Коннов И.В.
- Журнал: Моделирование и анализ информационных систем
- Том: 17
- Номер: 4
- Год издания: 2010
- Издательство: Яросл. гос. ун-т
- Местоположение издательства: Ярославль
- Первая страница: 78
- Последняя страница: 87
- Добавил в систему: Захаров Владимир Анатольевич