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