|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
О верификации параметризованных симметричных систем распределенных программстатья
- Авторы: Захаров В.А., Коннов И.В.
- Сборник: Труды Первой Всероссийской научной конференции "Методы и средства обработки информации
- Год издания: 2003
- Место издания: Издательский отдел факультета вычислительной математики и кибернетики МГУ им. М.В. Ломоносова Москва
- Первая страница: 395
- Последняя страница: 400
- Добавил в систему: Захаров Владимир Анатольевич