Публикация №8871
| Название публикации | МЕТОД ПОНИЖЕНИЯ ВЫЧИСЛИТЕЛЬНОЙ СЛОЖНОСТИ В ЗАДАЧАХ ВЕРИФИКАЦИИ ВЕРОЯТНОСТНЫХ МОДЕЛЕЙ ПРОГРАММ |
|---|---|
| Название на другом языке | |
| Тип публикации | Доклад |
| Издание | Инструменты и методы анализа программ (TMPA-2014): Материалы международной научно-практической конференции |
| Издатель | Кострома: КГТУ |
| ISBN | 975-5-8285-0719-1 |
| DOI | Не задан |
| Год издания | 2014 |
| Том | Не задан |
| Номер | Не задан |
| Глава | Не задан |
| Страницы | 133–144 |
| Аннотация | Не задан |
| Авторы | |
| ссылка в Internet | http://tmpaconf.org/thesesru/theses2014ru |
| РИНЦ | 0 |
| WoS | 0 |
| Цитируемые публикации авторов ИПИ РАН |
