|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Метод понижения вычислительной сложности в задачах верификации вероятностных моделей программстатья
- Авторы: Миронов А.М., Френкель С.Л.
- Сборник: Материалы Международной научно-практической конференции: Tools & Methods of Program Analysis, TMPA-2014
- Год издания: 2014
- Место издания: Кострома: КГТУ
- Первая страница: 84
- Последняя страница: 94
- Добавил в систему: Миронов Андрей Михайлович