|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Об одной задаче верификации параметризованных конечных систем переходовстатья
- Авторы: Булычев П.Е., Захаров В.А.
- Сборник: Труды Третьей Всероссийской конференции «Методы и средства обработки информации», Москва, 2009
- Год издания: 2009
- Место издания: Москва
- Первая страница: 98
- Последняя страница: 104
- Добавил в систему: Захаров Владимир Анатольевич