|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Темпоральная логика для верификации автоматов-преобразователейстатья
- Авторы: Козлова Д.Г., Захаров В.А.
- Сборник: Материалы XII Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 20–25 июня 2016 г.)
- Редакторы: Дудакова Ольга Сергеевна, Колпаков Роман Максимович, Комбаров Юрий Анатольевич, Кочергин Вадим Васильевич
- Год издания: 2016
- Место издания: Изд-во механико-математического факультета МГУ Москва
- Первая страница: 204
- Последняя страница: 206
- Добавил в систему: Захаров Владимир Анатольевич